Talk resume
From LRDE
This is a property of type Text.
S
Sylvain a rejoint le projet CGAL - qui vise a faire une collection
d'algorithmes géométriques fondamentaux en C++ - durant sa thèse,
qu'il a présentée en 1999 a l'INRIA. Il travaillait alors sur des
solutions génériques aux problèmes de robustesse numérique que l'on
rencontre avec les algorithmes géométriques. Plus tard, il a travaillé
sur l'efficacité de certains algorithmes géométriques comme la
triangulation de Delaunay en 3D. Il s'intéresse dorénavant a la
standardisation ISO du langage C++, ainsi qu'aux algorithmes
géométriques parallèles. Il est employé comme chercheur a l'INRIA, et
préside depuis deux ans le comité éditorial du projet CGAL. +, Romain Lerallut a participé au développement de Morphée (actuellement
Morph-M) au cours de sa thèse sur l'analyse d'images et de vidéos à
l'aide de graphes, soutenue en 2006 au Centre de Morphologie
Mathématique (CMM) de l'Ecole des Mines de Paris. L'objectif principal
de ce logiciel était de fournir aux chercheurs du CMM un outil robuste
et flexible pour faciliter le développement et le test de nouveaux
algorithmes. Il travaille actuellement chez A2iA (Analyse d'Images et
Intelligence Artificielle) dans le domaine de la lecture automatique
de documents imprimés et manuscrits.
Raffi Enficiaud a travaillé sur Morph-M (anciennement Morphée) qui est
une base logicielle orientée recherche pour le traitement d'images, et
plus particulièrement pour la morphologie mathématique. Cela a été
l'occasion pour lui de développer de nouveaux algorithmes, et de
revoir l'existant sous l'aspect multispectral et multidimensionnel. Il
est employé à DxO depuis la fin de sa thèse, où il mène des recherches
en traitement d'images. Il y développe notamment des mesures de
défauts optique et capteur. Il est également en charge de
l'intégration et de la coordination du travail de plusieurs types de
démonstrateurs clients. +
Victor Vasconcelos, brésilien d'origine, a obtenu son bachelor of
science en informatique à l'Université Fédérale de Gerais et son
Master of science en ingénieurie informatique et traitement d'image à
l'Université Fédérale de Rio de Janeiro. Il est rattaché en tant
qu'ingénieur à la Commission pour le Nucléaire du Brésil depuis
2002. Profitant d'un séjour sabbatique, il rejoint l'équipe Qgar
(reconnaissance et analyse de document) de l'INRIA en 2007, en tant
que développeur de la plate-forme logicielle. +
Anya Helene Bagge is a research fellow at the University of Bergen,
Norway. Her research interests include programming language design,
program transformation, parallel computer architectures and program
optimisation. +, Pascal Costanza has a Ph.D. degree from the University of Bonn,
Germany, and works as a research assistant at the Programming
Technology Lab of the Vrije Universiteit Brussel, Belgium. His past
involvements include specification and implementation of the languages
Gilgul and Lava, and the design and application of the JMangler
framework for load-time transformation of Java class files. He has
also implemented ContextL, the first programming language extension
for Context-oriented Programming based on CLOS, and aspect-oriented
extensions for CLOS. He is furthermore the initiator and lead of
Closer, an open source project that provides a compatibility layer for
the CLOS MOP across multiple Common Lisp implementations. +
Magne Haveraaen is a professor of computer science with an interest
for programming technology: the theory and pragmatics of writing
code. He investigates this in the context of the Sophus software
library, a coordinate-free numerics library written in C++. +, Anya Helene Bagge is a research fellow at the University of Bergen,
Norway. Her research interests include programming language design,
program transformation, parallel computer architectures and program
optimization. +
Frédéric Gava est maître de conférences en informatique à
l'université de Paris 12. Ses travaux de thèse ont porté sur la
programmation parallèle (et des méta-ordinateurs) de haut-niveau qui
lui ont valu le prix de thèse 2006 de la fondation EADS dans le
domaine des STIC. Il travaille actuellement sur la preuve de
programme parallèle et la conception d'un vérificateur parallèle de
modèles pour réseaux de Petri de haut-niveau implanté avec les
méthodes développées lors de son travail de thèse. +, Frédéric Loulergue est professeur à l'Université d'Orléans depuis
septembre 2005, directeur adjoint du Laboratoire d'Informatique
Fondamentale d'Orléans (LIFO), membre de l'équipe Parallélisme,
Réalité virtuelle et Vérification (PRV). Il travaille sur le
parallélisme avec des langages et modèles de haut-niveau (conception
de langages et bibliothèques, sémantique, vérification, algorithmes et
applications). +
Gaétan Hains est directeur du LACL à l'université de Paris 12. Son
programme de recherche porte sur la programmation parallèle et la
sécurité. +, Joel Falcou est maître de conférences en informatique au LRI,
Université de Paris 11. Ses travaux de thèse ont porté sur la
programmation parallèle pour la vision artificielle et plus
particulièrement sur les applications de la programmation générative
pour la création d'outils d'aide à la parallélisation. Il travaille
actuellement sur la définition de langages orientés domaine pour le
parallèlisme, outils qui s'intègrent dans divers projets de recherche
(ANR et System@tic). +
Thomas Quinot est docteur de l'Université Paris VI. Ses travaux de thèse
ont porté sur la définition d'une architecture d'intergiciel flexible
pour l'interopérabilité entre modèles de répartition. Il est aujourd'hui
Senior software engineer chez AdaCore, éditeur d'outils pour le
développement de systèmes embarqués, temps réel et critiques, où il
est notamment responsable des produits pour applications réparties. +, Samuel Tardieu est enseignant-chercheur à TELECOM ParisTech. Ses domaines
d'activité incluent notamment la compilation et la génération de code.
Il est également un des développeurs du système de compilation GCC,
et intervient plus particulièrement au niveau de GNAT, le compilateur
Ada de GCC. +
Laurent Plagne est ingénieur-chercheur à EDF R&D où il conduit une
mission d'expertise pour la conception des codes industriels de calcul
intensif. Ses domaines de recherche principaux sont les solveurs
parallèles pour équations aux dérivées partielles et la programmation
générique appliquée au HPC.
Il est co-auteur d'une bibliothèque générique pour la mesure de
performance (BTL++) et est le développeur principal d'une bibliothèque
dédiées aux problèmes d'algèbre linéaire creux et structurés
(LEGOLAS++). +, Wilfried Kirschenmann est diplômé de l'école supérieure d'électricité. Il a
travaillé sur la parallélisation d'un solveur de neutronique sur processeur
graphique lors de son stage de fin d'étude à EDF R&D. Il va débuter une
thèse sur les méthodes de développement HPC qui minimisent l'adhérence aux
machines cibles. +
Luc Maranget est chargé de recherche à l'Inria Rocquencourt. Il est
spécialiste de la conception et de l'implémentation des langages de
programmation, fonctionnels puis concurrents. À cet égard, il est
l'auteur du compilateur de filtrage d'Objective Caml et plus
récemment de la nouvelle version de JoCaml. +, Louis Mandel est docteur de l'Université Paris 6. Il a passé un an
au laboratoire Verimag de Grenoble et un an à l'INRIA
Rocquencourt. Il est actuellement Maître de Conférences à
l'Université Paris-Sud 11. Il conçoit et développe ReactiveML. +
Patrick Viry a obtenu un doctorat d'informatique à l'INRIA-Lorraine en
1992. Il a poursuivi une carrière de chercheur à l'Université de
Kyoto, sur deux thèmes principaux: les modèles théoriques du
parallélisme et les outils de développement de type éditeur
syntaxique. Il a rejoint l'industrie en 1999, d'abord dans une société
japonaise réalisant des contrats pour le MITI, puis en tant
qu'architecte du langage OPL chez Ilog. Il a fondé Ateji en 2005 pour
développer et commercialiser des technologies innovantes dans le
domaine des langages et des outils de programmation. +, Pierre-Étienne Moreau est Chargé de Recherche à l'INRIA
Nancy-Grand Est, responsable de l'équipe Pareo. Il s'intéresse au
développement d'outils et de langages permettant de développer plus
rapidement des applications complexes et ceci de manière plus sûre.
Dans ce cadre, il a développé au cours de sa thèse le compilateur du
langage ELAN. Depuis 2001, il coordonne le développement de
l'environnement Tom, qui permet d'intégrer et d'utiliser les
notions de réécriture, de stratégie, de filtrage équationnel dans un
environnement de programmation Java. Les principales applications à ce
jour sont la réalisation de compilateurs, d'outils d'analyse et de
transformation de programmes, ainsi que des prouveurs automatiques. +
Yann Régis-Gianas est maître de conférence de l'Université Paris Diderot.
Ancien élève de l'EPITA et du LRDE (promo CSI 2003), il a poursuivi son
cursus par un DEA SPL (précurseur de l'actuel MPRI) et par un doctorat
au sein de l'équipe Gallium de l'INRIA. Il étudie le design des langages
de programmation à typage statique garantissant l'absence d'erreurs
dans les programmes. +
Dominique Colnet, principal auteur de SmartEiffel, est membre du LORIA et
professeur d'informatique à l'IUT Nancy-Charlemagne. +, Benoit Sonntag, principal auteur du projet Lisaac/IsaacOS, est membre
de l'équipe ICPS au LSIIT et Maître de conférence d'informatique à
l'UDS Strasbourg (Anciennement ULP). +
Nicolas Geoffray est doctorant à l'université Pierre et Marie Curie
dans l'équipe mixte Lip6/INRIA Regal. Sa thèse porte sur les machines
virtuelles applicatives et la manière dont elles sont utilisées dans
les projets de recherche. La soutenance est prévue à la fin de l'année
universitaire 2009. +, Gaël Thomas est maître de conférences à l'université Pierre et Marie
Curie dans l'équipe mixte Regal/Lip6/Inria depuis trois ans. Ses
travaux de recherche portent sur la gestion des ressources,
l'isolation et la gestion de la concurrence dans les machines
virtuelles. +
Yannick Allusse est diplômé de l'ISTIA (2005). De 2005 à 2008, il a été ingénieur de recherche à Télécom SudParis et a été le principal développeur de la bibliothèque GpuCV. Ses domaines d'intérêt englobent l'infographie, la réalité virtuelle et le calcul intensif. Il est à présent consultant indépendant en optimisation logicielle.
Patrick Horain est Docteur-Ingénieur de l'INPG (1984) et enseignant-chercheur à l'Institut Télécom (ex GET) depuis 1986, d'abord à l'ENST puis à l'INT et Télécom SudParis. Ses recherches portent en particulier sur la vision 3D par ordinateur, en particulier pour la perception des personnes pour des applications interactives en réalité virtuelle, et sa mise en oeuvre en temps réel. +
David Tschumperlé est chargé de recherche CNRS, travaillant dans
l'équipe IMAGE du GREYC, depuis 2004. Il s'intéresse principalement
aux méthodes variationnelles et EDP pour le traitement d'images local
et/ou non-local. +
Jean-Luc Lamotte est professeur à l'université P. et M. Curie
(UPMC). Ses travaux de recherche au sein du laboratoire d'informatique
de Paris 6 (LIP6) dans l'équipe PEQUAN (PErformance et QUalité des
Algorithmes Numériques) du département CALSCI (calcul scientifique)
portent sur le calcul haute performance en intégrant la vitesse de
calcul, mais aussi la qualité numérique des résultats obtenus. Il
enseigne notamment le parallélisme dans la spécialité SAR du master
d'informatique de l'UPMC. +, Pierre Fortin est maître de conférences à l'Université Pierre et Marie
Curie dans l'équipe PEQUAN (LIP6) depuis deux ans. Ses travaux de
recherche portent sur le calcul scientifique parallèle haute
performance et sur les simulations numériques pour le problème à
N-corps. Depuis septembre 2009, il est responsable de l'option
"Calcul Intensif sur Nouvelles Architectures Parallèles" à
Polytech'Paris-UPMC. +
Raffi Enficiaud a soutenu sa thèse au Centre de Morphologie
Mathématique en 2007. Pendant sa thèse, il a participé au design et au
développement de Morph-M (anciennement Morphée) qui est une base
logicielle orientée recherche pour le traitement d'images et la
morphologie mathématique. Il s'est particulièrement intéressé à
l'extension multidimensionnelle et multispectrale des algorithmes
morphologiques, et a proposé de nouvelles méthodes de segmentation et
d'utilisation de la couleur. Après sa thèse, il travaillé à DxO sur le
thème de la quantification de défaut optique et capteur. Il travaille
depuis 2008 à l'INRIA Paris-Rocquencourt, équipe-projet IMEDIA en
qualité d'ingénieur expert, où il s'intéresse à l'indexation d'image
ainsi qu'à la visualisation de bases de donnée multimédia. Il
développe Yayi sur son temps libre. +
Titulaire d'un diplôme d'ingénieur et d'un doctorat de l'université de
Strasbourg, Jean-Baptiste Fasquel a été, de 2002 à Septembre 2009,
chargé de recherche au sein de l'équipe informatique de l'IRCAD
(Institut de Recherche contre les Cancers de l'Appareil Digestif,
Strasbourg). Depuis Septembre 2009, il est enseignant-chercheur à
l'université d'Angers, rattaché au Laboratoire d'Ingénierie des
Systèmes Automatisés (LISA). Sa thématique de recherche concerne le
traitement des images, et couvre aussi bien l'aspect méthode que
l'aspect implémentation. Son domaine d'application principal est
l'aide au diagnostic médical. +, Bertrand Meyer est professeur de génie logiciel à l'École Polytechnique
Fédérale de Zurich (ETH) et Chief Architect d'Eiffel Software (Santa
Barbara). Il est l'auteur de nombreux livres de génie logiciel et de
programmation par objets, en particulier "Object-Oriented Software
Construction") (version française chez Eyrolles, "Conception et
Programmation par Objets"), Jolt Award 1998 ; "Eiffel: Le Langage",
"Introduction à la Théorie des Langages de Programmation" (traductions
françaises chez InterEditions) ; et, récemment, "Touch of Class:
Introduction to Programming Well Using Objects and Contracts", un livre
d'initiation à la programmation (Springer). Il a reçu le System Award de
l'ACM pour son travail sur Eiffel et est membre de l'Académie des
Technologies. +
Alban Linard est post-doctorant à l'université de Genève, dans
l'équipe "Software Modeling and Verification". Sa thèse s'est déroulée
conjointement au LIP6, dans l'équipe Modélisation et Vérification et
au LRDE. Il s'intéresse aux Diagrammes de Décision et à leur
application dans le model checking. +, Roland Levillain est diplômé de l'EPITA (2003) et titulaire d'un
Mastère Spécialisé en Signal, Image et Reconnaissance des Formes
(SIRF) de l'ENST (2004). Depuis 2005, il travaille à l'EPITA et au
Laboratoire de Recherche et Développement de l'EPITA (LRDE) en tant
qu'enseignant-chercheur. Ses travaux portent sur le génie logiciel en
traitement d'images. Il participe au développement du projet Olena,
une plate-forme générique et performante pour le traitement d'images,
et poursuit une thèse sur le sujet depuis 2007. +
Julien Lamy est titulaire d'un doctorat de l'Université de Strasbourg.
De 2001 à 2006, il a travaillé au sein de l'équipe de R&D de l'IRCAD
(Institut de recherche contre les cancers de l'appareil digestif,
Strasbourg) au développement d'algorithmes de traitement d'images
médicales. Depuis 2008, il est ingénieur de recherche au Laboratoire
d'imagerie et de neurosciences cognitives de l'Université de Strasbourg. +, Yann Cointepas a obtenu un doctorat de Traitement du signal et des
images à l'Ecole Nationale des Télécommunications de Paris en
1999. Depuis 2003, il a un poste d'ingénieur-chercheur à la Direction
des Sciences du Vivant du CEA. Il travaille au sein du laboratoire
LNAO situé à NeuroSpin. Il fait également partie des personnels de
l'IFR 49. Il est un des architectes historiques du projet
BrainVISA. Ses activités de recherche concernent principalement
l'analyse structurelle du cerveau humain avec de l'imagerie par
résonance magnétique (IRM) et plus particulièrement l'étude de la
connectivité cérébrale à partir d'IRM de diffusion. +
David Picard est actuellement maître de conférences à l'ENSEA (Cergy-Pontoise) au sein du laboratoire ETIS. Ses travaux de recherche sont centrés sur la reconnaissance de forme, l'apprentissage statistique ainsi que l'indexation de documents multimédia et la recherche d'information dans un contexte distribué. Il a obtenu sa thèse en 2008 sur la recherche d'image basée contenu à l'aide d'un système multi-agents, dans le cadre de données distribuées sur un réseau. Il a effectué ensuite un stage post-doctoral au LIP6 de l'université Pierre et Marie Curie, financé par le projet iTowns en partenariat avec l'IGN, pour la conception d'un moteur de recherche multimédia dans un contexte à la StreetView des rues de Paris. +
Ayant d'un côté un profile "informatique", ingénieur ESIEE avec un master en traitement d'images, et de l'autre côté un profile "science des matériaux", thèse en physique à l'école polytechnique avec un autre master en science des matériaux, le domaine de recherche de Vincent Tariel est axé sur l'image aussi bien expérimentalement, préparation de l'échantillon, microscopie, que numériquement, segmentation, caractérisation géométrique et physique, modélisation.
Il est rattaché au Department of Applied Mathematics, Australian National University +
Rémi Forax est, depuis 2003, maître de conférence à l'université Paris Est Marne-la-Vallée
au sein du Laboratoire Informatique Gaspard Monge (LIGM). Ses travaux de recherche
sont centrés sur la conception de compilateurs et d'environnements d'exécution basée
sur des machines virtuelles. +
Frédéric Peschanski est Maître de Conférences à l'Université Pierre
et Marie Curie. Il effectue ses recherches au sein du laboratoire
d'informatique de Paris 6, dans l'équipe APR (algo-prog). Il étudie
essentiellement les langages de programmation avec comme leitmotiv
la théorie mise en pratique (et vice-versa). +
Benoît Vandame a obtenu sa thèse (2004) en traitement d’images appliqué à de grands relevés astronomiques au sein de l’European Southern Observatory (ESO-Munich). Depuis 2007, il travaille au laboratoire Canon Research Centre France (CRF-Rennes). Ses travaux portent sur le computational imaging (super-resolution, light-field imaging). Fort de son expérience en traitement automatique de larges données, il participe activement à la création d’une bibliothèque générique de traitement d’images pour les développements réalisés au sein du laboratoire CRF. +
Jonathan Fabrizio est enseignant-chercheur au LRDE depuis l'été
2009. Il travaille actuellement sur la localisation et l'extraction
automatique de texte dans les images. +
Nicolas Ballas effectue sa thèse entre le laboratoire LVIC du CEA/List
et le laboratoire CAOR de l'école des Mines de Paris. Il s'intéresse
principalement au problème de perception automatique à travers l'étude
d'algorithmes combinant vision par ordinateur et apprentissage
automatique. +, Matthieu Garrigues est diplômé de la promotion CSI 2009 de
l'EPITA. Depuis, il s'intéresse au développement et l'implantation
d'applications de vision par ordinateur sur des architectures
parallèles. Il est actuellement ingénieur de recherche à l'unité
d'électronique et d'informatique de l'ENSTA. +
Alexandre Borghi est diplômé de la promotion CSI 2007 de l'EPITA et
effectue actuellement sa thèse au LRI de l'Université Paris-SUD XI. Il
s'intéresse principalement à l'adaptation de l'algorithmique aux
architectures parallèles. +
Diplômé de la promotion CSI 2008 de l'EPITA, Nicolas Pierron travaille
actuellement à Mozilla Paris sur le nouveau moteur Javascript
IonMonkey. +
Ullrich Köthe is a senior researcher in the Multidimensional Image
Processing Group at the Interdisciplinary Centre for Scientific
Computing of the University of Heidelberg, Germany, where he heads
advanced research on image and data analysis for industry and the life
sciences. Formerly, he was with the Cognitive Systems Group at the
University of Hamburg (1999-2007) and with the Fraunhofer-Institute
for Computer Graphics in Rostock (1992-1999).
Ullrich Köthe's main field of research is the development of
user-friendly image analysis methods. He is interested in all
techniques that facilitate genericity and re-usability, from machine
learning and probabilistic modeling to generic programming and
empirical performance evaluation. Dr. Köthe is the originator and
maintainer of the open-source image analysis library VIGRA and
co-developer of the interactive ilastik toolkit, which have been
designed to put these ideas into practice. +
Nicolas Ayache, ancien doctorant Université Paris-Sud / CEA-LIST, est
actuellement Post-doc au laboratoire PPS (Preuves, Programmes et
Systèmes) à l'université Paris Diderot. +, Yann Régis-Gianas est un ancien élève de l'EPITA, promo CSI 2003. À sa
sortie de l'école, il a poursuivi un troisième cycle en passant un DEA
à l'Université Paris Diderot et une thèse à l'INRIA Rocquencourt. Il
est aujourd'hui maître de conférence à Paris Diderot et travaille sur
le design des langages de programmation et de preuve. +
Guillaume Chatelet est diplômé de l'ENSICaen et titulaire d'un DEA en
intelligence artificielle et algorithmique. Il travaille en qualité
d'ingénieur recherche et développement à Mikros Image depuis sept
ans. En 2007, il contribue à la bibliothèque Loki, initiée par Andrei
Alexandrescu, puis à la plate-forme Eclipse. +
Laurent Najman a reçu l’habilitation à diriger les recherches de
l'université de la Marne-La-Vallée en 2006, un doctorat en
mathématiques appliquées de l’université de Paris-Dauphine en 1994, et
un diplôme d’ingénieur de l'École des Mines de Paris en 1991.
Il a travaillé chez Thomson-CSF sur la segmentation d'images
infrarouges en utilisant la morphologie mathématique, chez Animation
Science sur des systèmes de particules pour l'infographie et de la
visualisation scientifique, puis chez OCÉ sur des problèmes d’analyse
et de traitement d'images pour l'impression.
Depuis 2002, il est enseignant-chercheur à l’ESIEE, actuellement
professeur, membre du Laboratoire d’Informatique Gaspard-Monge
(Université Paris-Est). Ses recherches portent sur la morphologie
mathématique discrète et l’optimisation discrète. +
Antoine Manzanera est diplômé de l'Université Claude Bernard à Lyon
(Licence de Maths 1991 et Master d'Informatique Fondamentale 1993), et
Docteur de Télécom-ParisTech en Signal et Images ("Vision artificielle
rétinienne", 2000). Depuis 2001 il est Enseignant-Chercheur à
l'ENSTA-ParisTech. Dans ses recherches, il s'intéresse au Traitement
d'Images et à la Vision de bas niveau, du modèle mathématique à
l'implantation parallèle sur un système embarqué. Il enseigne
principalement en 2ème et 3ème année du cycle Ingénieur ENSTA, et dans
le Master d'Informatique de l'UMPC (Paris 6), dans les spécialités
Imagerie et IAD. +, Matthieu Garrigues est diplômé de la promotion CSI 2009 de
l'EPITA. Depuis, il s'intéresse au développement et à l'implantation
d'applications de vision sur des architectures parallèles. Il est
actuellement ingénieur de recherche à l'unité d'électronique et
d'informatique de l'ENSTA, où il travaille sur l'analyse temps réel de
scènes acquises par des systèmes mobiles mono-caméra. +
Eric Mahé a été responsable des nouvelles technologies au sein de l'équipe
marketing de Sun France pendant 20 ans après avoir occupé différents postes
de chef de projet dans le domaine du nucléaire et de la défense. Son rôle
fut d'évangéliser les choix technologiques et stratégiques de Sun auprès des
communautés concernées par le langage Java, les développements du Logiciel
Libre et les applications citoyennes de la fédération d'identité basées sur
le projet Liberty Alliance. Diplômé de plusieurs troisièmes cycles en
marketing, biologie et informatique, Eric Mahé est administrateur de
l'association Silicon Sentier, expert auprès du pôle de compétitivité CAP
Digital et professeur de communication à l'université René Descartes – Paris
V.
Eric Mahé assure depuis 2009 la direction du projet OpenGPU dont l'objectif
est la mise au point de nouvelles chaînes de compilation à destination des
architectures hybrides GPU/CPU et a fondé la société MassiveRand spécialisée
dans les nombres aléatoires dans le domaine de la sécurité. +
Yongchao Xu received the B.S. degree in optoelectronic engineering from
Huazhong University of Science and Technology, China, in 2008, the "diplôme
d'ingénieur" in electronic & embedded system at Polytech' Paris-Sud and the
M.S. degree in signal & image processing from Université Paris Sud, in 2010.
He is currently a PhD student at Université Paris Est working on image
segmentation, morphological image analysis and, especially shape-based
connected morphology. +, A.E. Ben Salem est ingénieur ENSEEIHT-2005 en Informatique et Mathématiques
Appliquées, il a obtenu en parallèle un Master Recherche Sûreté du Logiciel
et Calcul à haute Performance à l’INP Toulouse. Depuis 2011, il est
doctorant au LRDE et au LIP6 sur la vérification formelle de propriétés sur
des systèmes logiciels, en lien avec le projet Spot. +, E. Renault est diplômé de Paris VI en système et applications réparties, il
s'intéresse à la vérification formelle des systèmes concurents. Il a
intégré cette année le LRDE dans le cadre de sa thèse portant sur la
composition dynamique de techniques pour le model checking efficace. Ce
travail, en collaboration avec l'équipe MoVe du Lip6, s'intègre au projet
Spot. +
Roy Bakker is a PhD student in the Computer Systems Architecture group at
the University of Amsterdam, where he also graduated for his Bachelor's
(2008) and Master's (2011) degree. His current work is funded by the
Netherlands Organisation for Scientific Research (NWO) project on Smart
Energy Systems (SES). +, Diplômé CSI en 2003, Raphael est resté actif à l'EPITA jusqu'en 2004, puis a
travaillé en tant qu'ingénieur logiciel à Paris puis Rotterdam. Il rejoint
en 2008 le groupe Computer Systems Architecture à l'Université d'Amsterdam
en tant que chef de projet et enseignant-chercheur, où il reçoit un doctorat
en septembre 2012. Il donne des cours d'architecture matérielle à Amsterdam
et Leiden, et continue de coordonner des activités de recherche au
croisement entre architecture, compilateurs et systèmes d'exploitation. +
Gaël Thomas est maître de conférences (HDR) à l'UPMC Paris Sorbonne qu'il a
rejointe en 2006 après avoir passé une année en post doctorat à l'université
Joseph Fourier. Il est membre de l'équipe REGAL du LIP6, une équipe mixte
entre l'INRIA et l'UPMC qui étudie les systèmes d'exploitation et les
systèmes distribués à large échelle. Ses travaux visent à améliorer les
performances, la modularité et la sûreté de fonctionnement des machines
virtuelles langages comme la machine virtuelle Java.
Depuis 2011, il est président de l'association ACM SIGOPS France. +
Thierry Géraud est enseignant-chercheur au Laboratoire de Recherche et
Développement de l'EPITA (LRDE), habilité à diriger les recherches.
Il est chercheur invité au laboratoire A3SI (ESIEE, LIGM,
Univ. Paris-Est Marne-la-Vallée). Il dirige le développement d'Olena,
une plateforme libre de traitement d'images. Il en utilise, conçoit
et maintient le cœur: Milena, une bibliothèque moderne, générique et
efficace, écrite en C++. +
Matthieu Faessel et Michel Bilodeau sont chercheurs au Centre de
Morphologie Mathématique, Mines ParisTech. Ils travaillent dans des
domaines tels que le contrôle industriel, la vision par ordinateur,
l'étude des matériaux et le développement d'architectures logicielles
et matérielles. +
Peter Van Roy is coauthor of the classic programming textbook "Concepts,
Techniques, and Models of Computer Programming" and professor at the
Université catholique de Louvain in Belgium. His group hosts the Mozart
Programming System (see www.mozart-oz.org), with which he explores the
relationship between programming languages and distributed programming. He
wrote the Aquarius Prolog compiler, the first to generate code competitive
in performance with C compilers. He received a M.S. and Ph.D. in Computer
Science from the University of California at Berkeley and a French
"Habilitation à Diriger des Recherches" from the Université Paris Diderot. +
Basile Starynkevitch est un ancien élève de l'ENS Cachan qui a soutenu sa
thèse en intelligence artificielle en 1990. Il travaille comme ingénieur
chercheur au CEA LIST dans le Laboratoire Sûreté des Logiciels (LSL), et
contribue à GCC en y développant notamment l'outil MELT. Il est un partisan
convaincu du logiciel libre. +
Eric Jaeger travaille à l'ANSSI depuis 2004. Après plusieurs années dans les
laboratoires, pendant lesquelles il a notamment travaillé sur les apports et
les limites des méthodes formelles pour les développements de sécurité, il
est devenu chef du centre de formation à la sécurité des systèmes
d'information (CFSSI). Il est à l'origine des études sur les langages
commandées par l'ANSSI depuis 2008 (JavaSec sur le langage Java, et LaFoSec
sur les langages fonctionnels).
Olivier Levillain travaille dans les laboratoires de l'ANSSI depuis
septembre 2007 et est aujourd'hui responsable du laboratoire sécurité des
réseaux et protocoles. Il a été l'un des promoteurs et a participé au suivi
des études JavaSec et LaFoSec entre 2008 et 2012. Il prépare également une
thèse sur la sécurité des navigateurs web, se consacrant pour l'instant
essentiellement aux protocoles SSL/TLS. +
Luca Saiu, programmeur expérimenté et spécialiste de langages, a obtenu
son master à l'Université de Pise et son doctorat à l'Université Paris
13. Il a travaillé à l'INRIA sur le support multi-cœur d'OCaml. Le
langage de programmation epsilon, logiciel GNU, est son projet le plus
ambitieux. Luca Saiu est également co-auteur de Marionnet, un simulateur
de réseaux en OCaml, utilisé pour la pédagogie en France et à l'étranger. +
Dodji Seketeli est ingénieur dans l'équipe Tools de Red Hat. Il
travaille sur la suite des compilateurs GNU, principalement sur les
compilateurs C et C++. Pendant son temps libre, lorsqu'il ne joue pas
avec son épouse et ses enfants, il maintient Nemiver, le débuggeur
graphique du projet d'environnement de bureau libre GNOME. En dehors
des logiciels libres, il s'intéresse aux arts martiaux et à l'histoire. +
Juliusz Chroboczek est Maître de Conférences à l'Université Paris-Diderot
(Paris 7). Il travaille sur les implémentations efficaces de la concurrence
ainsi que sur la problématique du routage dans les réseaux à commutation de
paquets. +
Michael Wilkinson obtained an MSc in astronomy from the Kapteyn Laboratory,
University of Groningen in 1993, after which he worked on image analysis of
intestinal bacteria at the Department of Medical Microbiology, University of
Groningen, obtaining a PhD at the Institute of Mathematics and Computing
Science, also in Groningen, in 1995. After this he worked as a researcher at
the Johann Bernoulli Institute for Mathematics and Computer Science (JBI)
both on computer simulations and on image analysis of diatoms. He is
currently senior lecturer at the JBI, working on morphological image
analysis and especially connected morphology. Apart from publishing in
many journals and conferences, he edited the book ``Digital Image Analysis
of Microbes'' (John Wiley, UK, 1998) with Frits Schut, and is member of the
Steering Committee of ISMM. +
Vincent Balat est maître de conférences à l'université Paris Diderot,
actuellement en délégation à l'INRIA. Il est le créateur et chef du projet
Ocsigen. Il est ancien élève de l'École Normale Supérieure de Cachan. Son
travail de recherche porte essentiellement sur l'amélioration de
l'expressivité et de la fiabilité des techniques de programmation
Web. +
Docteur de l'Université Paris 7.
Directeur de l'ESIPE, école d'ingénieurs de l'université de Marne-la-Vallée.
Spécialisé en compression et représentation de données en mémoire. +
Yves Caseau est directeur général adjoint Technologie, Prospectives et
Innovation à Bouygues Telecom dont il a été le DSI de 2001 à 2006. Il a
commencé sa carrière dans la recherche, à Telcordia (USA) puis à la tête du
e-Lab de Bouygues. Il est passé de l'intelligence artificielle à la
programmation par contraintes, puis à la recherche opérationnelle pour
terminer plus récemment par la simulation et la théorie des jeux.
Ancien élève de l'ENS Ulm, il est également titulaire d'un MBA du Collège
des ingénieurs, ainsi que d'un doctorat en informatique (Paris XI) et d'une
habilitation à diriger des recherches (Paris VII). Il est membre de
l'Académie des Technologies et auteur de trois livres publiés chez Dunod. +