Talk resume
From LRDE
This is a property of type Text.
S
Pierre-Yves Strub est chercheur au "IMDEA Software Institute",
institut madrilène de recherche en informatique. En 2008, il obtient
une thèse en informatique de l'École Polytechnique, puis rejoint
l'équipe FORMES du laboratoire commun INRIA-Tsinghua University
(Pékin, Chine). Avant d'intégrer IMDEA en 2012, il passe deux ans au
laboratoire commun MSR-INRIA (Paris, France). Ses recherches portent
sur les méthodes formelles, la logique en informatique, la
vérification de programmes, la sécurité formelle et la formalisation
des mathématiques.
Depuis qu'il a rejoint IMDEA, ses recherches portent principalement
sur la preuve formelle assistée par ordinateur en
sécurité/cryptographie. Il est l'un des principaux concepteur et
développeur d'EasyCrypt, un outil dédié à la preuve de sécurité de
constructions cryptographiques. +
Stephan Hadinger a fait une longue carrière dans l'IT, spécialisé dans
les domaines Infrastructure, B2C et B2B afin de permettre aux
entreprises de tirer un maximum de bénéfices de leurs investissements
technologiques. Dans son rôle d'Architecte Solutions avec Amazon Web
Services, Stephan travaille avec des entreprises françaises de toutes
tailles pour les aider à migrer vers le Cloud et utiliser leur IT pour
mieux servir leurs clients. +
Guillaume Tochon a obtenu un diplôme d'ingénieur de Grenoble-INP
(école ENSE3) en 2012 et un doctorat de l'université de Grenoble Alpes
(rattaché au laboratoire GIPSA-lab) en 2015, tous deux en
spécialisation ``traitement du signal et des images''. Il est
actuellement attaché temporaire d'enseignement et de recherche à
Grenoble-INP et conduit ses recherches au sein du département Images
et Signaux du GIPSA-lab. Ses activités de recherches se situent à
l'intersection entre la morphologie mathématique et la fusion de
données, se focalisant notamment sur l'utilisation de représentations
hiérarchiques pour l'analyse d'images multimodales, pour diverses
applications telles que la segmentation ou le démélange spectral. +
Joël Falcou est maître de conférences en informatique au LRI, Université
Paris Sud. 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 est également conseiller scientifique chez NumScale. +
Didier Verna est enseignant-chercheur au Laboratoire de Recherche et
Développement de l'EPITA. Il s'intéresse aux langages dynamiques
multi-paradigmes et en particulier aux implications de l'homoiconicité (à
tout le moins de la réflexivité) en termes de méta-programmation,
d'extensibilité et de génie logiciel en général. Didier Verna préside le
comité de pilotage du Symposium Européen sur Lisp. Il est également très
impliqué dans le logiciel libre; il fût l'un des mainteneurs d'XEmacs
pendant plus de 15 ans. +
Diplomé CSI 2008, Samuel Charron a travaillé chez différents éditeurs
logiciels, toujours autour du thème de l'exploitation et de la
valorisation des données issues du web. +
Elodie Puybareau est en thèse d'Imagerie Bio-Médicale depuis le 1er
décembre 2013 au LIGM. Ses travaux portent surtout sur l’analyse du
mouvement à partir de vidéos, afin d'en extraire divers paramètres qui
s'appliquent à des sujets bio-médicaux. +
Julien Perret (Dr. Université de Rennes 1 2006) est chercheur en
Informatique et en Sciences de l'Information Géographique au sein de
l'équipe de Cartographie et Géomatique (COGIT) du Laboratoire des Sciences
et Technologies de l'Information Géographique (LaSTIG) de l'Institut National
de l'Information Géographique et Forestière (IGN). Ses sujets de recherche
portent principalement sur les données spatio-temporelles et en particulier
les données géo-historiques, l'appariement de données géographiques et
géo-historiques, la simulation urbaine 2D et 3D, la modélisation des
systèmes complexe et l'optimisation stochastique. Il contribue à la mise en
place de nouveaux standards pour la recherche reproductible par la
diffusion des travaux de recherche sous la forme de données libres et de
logiciels libres. +
Julien Tierny a obtenu un Doctorat en informatique de l'Université Lille 1 en 2008,
et l'Habilitation à Diriger des Recherches de l'Université Pierre-et-Marie-Curie en 2016.
Depuis septembre 2014, il est chercheur permanent au CNRS, affilié avec le laboratoire LIP6
(UPMC), après avoir été chercheur à Télécom ParisTech entre 2010 et 2014.
Avant cela, lauréat d'une bourse Fulbright, il a été chercheur associé en
post-doctorat au Scientific Computing and Imaging Institute de l'Université d'Utah.
Ses intérêts de recherche comprennent l'analyse topologique et géométrique de données
pour la visualisation scientifique. Il a reçu en 2016 la "Mention Honorable" du concours
IEEE Scientific Visualization Contest ainsi que le prix du meilleur article
de la conférence IEEE VIS. +
Charles Paperman a fini son doctorat en 2013 sous la direction de
Jean-Éric Pin et Olivier Carton, au LIAFA, et travaille désormais au
laboratoire de Logique Mathématique de l'Université Paris Diderot avec Arnaud Durand.
Ses sujets d'étude s'articulent autour de la logique, la théorie des
automates, et la complexité des circuits, avec une approche
algébrique. +, Akim Demaille est enseignant-chercheur à l'EPITA depuis pratiquement la
création du LRDE. Il y a enseigné la logique, la théorie des
langages, la construction des compilateurs, la modélisation
orientée-objet et la programmation en C++. Depuis 2013, il investit
son temps de recherche dans la plateforme Vcsn. Il a également
contribué à divers logiciels libres, tels GNU Autoconf, GNU Automake,
GNU Bison et même GNU a2ps, à un temps où ASCII et PostScript
n'étaient pas l'un et l'autre obsolètes. +
Alexandre Abraham est un ancien de la promo CSI 2009. Il a notamment
travaillé sur le watershed topologique et les espaces couleur pour le projet Olena. Après
l'EPITA, il a suivi un master IAD à l'UPMC et a réalisé sa thèse à l'INRIA sur la
segmentation de signaux fonctionnels cérébraux au repos sur de grandes cohortes à des fins de
diagnostic. Il travaille aujourd'hui dans l'équipe de recommandation de produits chez
Criteo. +
Nicolas Gac est maître de conférences à l'université Paris Sud. Après avoir effectué sa thèse au Gipsa-lab, à Grenoble, en adéquation
algorithme architecture pour la reconstruction tomographique, il poursuit ses travaux de recherche au laboratoire des Signaux et
Systèmes (L2S) sur le calcul parallèle pour les problèmes inverses sur serveurs de calculs multi-GPUs ou FPGA. Les domaines
applicatifs de ses travaux sont la reconstruction tomographique, la reconnaissance radar, la localisation de sources acoustiques
et le traitement de données spectrales de Mars. +
Pierre Sermanet est issu de la promo EPITA 2005 (spécialisation GISTR). En
2004 il participe avec Evolutek à la compétition robotique Eurobot
<http://cs.nyu.edu/~sermanet/eurobot.html>. Après son stage de fin d’étude
chez Siemens Research à Princeton, il travaille avec Yann LeCun en tant
qu’ingénieur de recherche pendant 3 ans sur le thème du deep learning pour
le projet de robotique mobile LAGR <http://cs.nyu.edu/~sermanet/lagr.html>.
Il effectue ensuite son doctorat en deep learning avec Yann LeCun à l'Université
de New York jusqu’en 2013, puis il rejoint ensuite Google Brain en tant que
chercheur en deep learning appliqué à la vision et à la robotique. +
Le Dr. Andres S. CHARIF RUBIAL dirige aujourd'hui une ESN dont les principales activités sont le HPC, l’ingénierie système,
réseau et sécurité. En parallèle il est chercheur hébergé au Laboratoire Li-PARAD de l'Université de Versailles.
Il a dirigé pendant 4 ans l'équipe de recherche et développement "évaluation des performance" du laboratoire
Exascale Computing Research Laboratory (situé sur le campus Teratec). Il a principalement supervisé et travaillé au développement
de la suite d'outils MAQAO afin de mieux comprendre les problèmes de performance des applications HPC mono et multi-noeuds.
Ses travaux de thèse achevés en 2012 portaient d'ailleurs déjà sur cette thématique, en particulier sur le profilage d'applications
et les problématiques de caractérisation des performances mémoire sur des systèmes à mémoire partagée. +
Julien Signoles a obtenu un doctorat en informatique de l'Université
Paris 11 en 2006. Il devint ensuite ingénieur-chercheur au CEA LIST
en 2007. Au sein du Laboratoire de Sûreté des Logiciels (LSL), il est l'un des
développeurs principaux de Frama-C. Ses recherches se concentrent aujourd'hui
sur la vérification à l'exécution (runtime verification) et ses différentes
applications pour améliorer la sûreté et la sécurité des logiciels critiques. +
Jean-François Mangin est directeur de recherche au CEA. Il y dirige un
groupe de recherche algorithmique en neuro-imagerie au sein du centre
Neurospin, la plateforme IRM en champs intenses du CEA. Il est aussi
directeur du CATI, la plateforme française créée par le plan Alzheimer
pour prendre en charge les grandes études de neuroimagerie
multicentriques. Il est enfin codirecteur du sous-projet «Human
Strategic Data» du Human Brain Project, le plus vaste projet de
recherche de la commission européenne. Il est ingénieur de l’Ecole
Centrale Paris et Docteur de Télécom ParisTech. Son programme de
recherche vise au développement d’outils de vision par ordinateur
dédiés à l’interprétation des images cérébrales. Son équipe
s’intéresse en particulier aux anomalies des plissements ou de la
connectivité du cortex associées aux pathologies. Elle distribue les
outils logiciels issus de cette recherche à la communauté. +, Edouard Duchesnay a obtenu un diplôme d'ingénieur en génie logiciel de
l'EPITA en 1997 (spécialisation SCIA), puis un master et un doctorat
en traitement du signal et des images de l'Université de Rennes 1,
respectivement en 1998 et 2001. Depuis 2008, il est chargé de
recherche chez Neurospin, le centre de neuroimagerie par IRM du
CEA. Il développe des algorithmes d'apprentissage automatique
fournissant des outils de diagnostic et pronostic ou des méthodes de
découverte de biomarqueurs pour les maladies du cerveau. E. Duchesnay
est un contributeur majeur de la bibliothèque d'apprentissage
automatique ParsimonY de Python, dédiée aux données structurées de
grandes dimensions, telles que l'imagerie cérébrale ou les données
génétiques. Il a également contribué à la bibliothèque d'apprentissage
automatique scikit-learn de Python. +
Barbara Jobstmann is a field application engineer for Cadence Design
Systems and a lecturer at the École Polytechnique Fédérale de Lausanne
(EPFL). She joined Cadence in 2014 through the acquisition of Jasper
Design Automation, where she worked since 2012 as an application
engineer. In the past, she was also a CNRS researcher (chargé de
recherche) in Verimag, an academic research laboratory belonging to
the CNRS and the Communauté Université Grenoble Alpes in France. Her
research focused on constructing correct and reliable computer systems
using formal verification and synthesis techniques. She received a
Ph.D. degree in Computer Science from the University of Technology in
Graz, Austria in 2007. +
Camille Couprie est chercheuse à Facebook Artificial Intelligence
Research. Elle a obtenu son doctorat en informatique de l'Université
Paris Est en 2011, sous la direction de Hugues Talbot, Laurent Najman
et Leo Grady, avec une recherche spécialisée dans la formulation et
l'optimisation de problèmes de vision par ordinateur dans les graphes.
En 2012, elle a travaillé comme postdoc a l'institut Courant de New
York University avec Yann LeCun. Après un poste IFP new energies,
organisme de recherche français actif dans les domaines de l'énergie,
des transports et de l'environnement, elle a rejoint Facebook en 2015. +
Jan Strejcek is an associate professor at the Faculty of Informatics
of Masaryk University located in Brno, Czech Republic. He received his
PhD in Computer Science (2005) and Master degrees in Mathematics
(2000) and Computer Science (2001) from the same university. His
current research focuses on automata over infinite words, automatic
program analysis, and SMT-solving of quantified bitvector formulae. +
Camille Kurtz obtained the MSc and PhD from Université de Strasbourg,
France, in 2009 and 2012. He was a post-doctoral fellow at Stanford
University, CA, USA, between 2012 and 2013. He is now an Associate
Professor at Université Paris Descartes, France. His scientific
interests include image analysis, data mining, medical imaging and
remote sensing. +