Talk resume
From LRDE
Revision as of 16:59, 6 January 2014 by Clément Démoulins (talk | contribs)
This is a property of type Page.
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. +