Talk resume
From LRDE
This is a property of type Text.
S
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. +
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. +
Patrick Foubet commence l'informatique en 1978 dans une SSII parisienne. Il
y développe des applications de gestion en Cobol et en Fortran sur des
main-frames IBM (DOS-VSE) et Bull (Gcos), mais aussi en assembleur sur des
mini-ordinateurs Computer Automation et Data General.
En 1986 il passe au CNAM un DEA en IA. Il y enseigne ainsi qu'au CEPIA,
centre de formation de l'INRIA. En 1988, il crée la société SERIANE et
développe des applications industrielles : bancs de tests, acquisition de
données, traitement du signal, systèmes temps-réel et embarqués. Ses
clients comptent le CEA, Thomson, la RATP, Michelin, PSA, etc. C'est dans
cette période qu'il crée son propre système temps-réel sous DPMI et son
interface graphique SerView. En 1996, il passe au CNAM un second DEA en
``Construction de Programmes''. Il apprend la Méthode B avec Jean-Raymond
Abrial. Entre 2003 et 2012, il est consultant auprès du CEA/DAM dans le
cadre du projet Laser MégaJoule. Dans le même temps, il enseigne dans des
écoles de la région parisienne: ECE, EFREI, EPSI, ESME-Sudria, ESIGETEL,
INGESUP, INSIA, ITIN, etc.
Il a libéré une partie du code qu'il a développé lors de ses travaux et
qu'il a utilisé pour écrire son langage Nife. +
Tamy Boubekeur est, depuis 2014, Professeur en Informatique au sein du
département de Traitement du Signal et des Images de Telecom ParisTech (CNRS
LTCI, Institut Mines-Telecom). Il a obtenu son doctorat à l'Université de
Bordeaux, au sein de l'INRIA en 2007. De 2004 à 2007, il était chercheur
invité régulier à UBC (Vancouver, Canada). En 2007, il est devenu chercheur
associé à TU Berlin (Allemagne), avant de rejoindre en 2008 Telecom
ParisTech en tant que Maître de Conférences, où il a créé l'équipe
d'informatique graphique. Il a obtenu son Habilitation à Diriger des
Recherches en 2012 à l'Université Paris XI. Il a reçu plusieurs prix
scientifiques, dont le prix Gunter Enderle en 2006.
Il publie régulièrement dans les conférences internationales et journaux
majeurs de l'informatique graphique et de la vision par ordinateur. +
Dr. Markus Voelter works as an independent researcher, consultant and coach
for itemis AG in Stuttgart, Germany. His focus is on software architecture,
model-driven software development and domain specific languages as well as
on product line engineering. Markus also regularly writes (articles,
patterns, books) and speaks (trainings, conferences) on those subjects. +
Étudiant au LRDE dans la majeure CSI (Calcul Scientifique et Image), Raphaël
a fait son stage de fin d’étude chez NVidia, dans l’équipe CUDA driver. Il
travaillait au sein de l'équipe sur UVM sur l’implémentation de nouvelles
fonctionnalités pour ce nouveau modèle de gestion de la mémoire. +
Lispeur depuis 1974, Unixien depuis 1984, HDR depuis 1988, et depuis peu
professeur émérite de l’UPMC. Surtout connu pour ses livres sur Lisp et
Scheme, il a récemment animé le MOOC « Programmation Récursive » dont il
sera question dans l’exposé. +
Yann Azoury, EPITA SIGL 2006, a toujours travaillé pour des éditeurs de
logiciels en France et aux Etats-Unis. En 2002, sa participation au projet
de portage d’OpenOffice pour Mac OS X pour le compte d’Apple lui permet
d'atteindre ses propres limites d’analyse et donc de comprendre la nécessité
de les dépasser par des outils. Ainsi, en 2005, il crée le projet Faveod
pour ce faire et fonde la société éponyme en 2007 pour diffuser cette
technologie. +
Clément Pernet est maître de conférence en informatique à l'Université
Grenoble-Alpes. Sa recherche en calcul formel porte sur l'algèbre linéaire
exacte tant au niveau algorithmique que logiciel. Dans le contexte de la
fiabilité du calcul exact distribué, il aborde aussi la tolérance aux erreurs
silencieuses via les codes correcteurs d'erreurs. +, Brice Boyer (1) a effectué une thèse de doctorat sous la direction de
Jean-Guillaume Dumas intitulée /Multiplication matricielle efficace et
conception logicielle pour la bibliothèque de calcul exact LinBox/. Il
a ensuite effectué un post-doctorat de deux ans à la North Carolina
State University (USA) puis un autre à l'UPMC (Paris). Ses intérêts
incluent l'algèbre linéaire exacte dense et creuse, la conception et
le développement logiciels, le calcul parallèle. +
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 temps réel
de vision par ordinateur. Il est actuellement ingénieur de recherche et
thésard au laboratoire d'informatique et d'ingénierie des systèmes de
l'ENSTA ParisTech. Passionné par le C++ et ses nouveaux standards, il
consacre une partie de son temps libre à étudier comment le langage peut
simplifier la programmation web haute performance. +
Tamy Boubekeur est Professeur en Science Informatique à Télécom ParisTech
(Institut Mines-Télécom, CNRS UMR 5141, Université Paris-Saclay). Il mène
ses activités de recherche dans le domaine de l’informatique graphique 3D,
s'intéressant tout particulièrement à la modélisation et à la synthèse de
formes, de matières et d’animation 3D numériques, mais également aux
systèmes visuels interactifs à hautes performances.
De 2004 à 2007, il a été membre de l’INRIA Bordeaux (France) et chercheur
invité régulier à l’Université de Colombie Britannique à Vancouver
(Canada). Il a obtenu son Doctorat en Informatique à l’Université des
Sciences et Technologies de Bordeaux en 2007. Par la suite, il a rejoint
l’Unversité Technique de Berlin (TU Berlin) comme chercheur associé. En
2008, il a rejoint le Département de Traitement du Signal et des Images de
Télécom ParisTech comme Maître de Conférences et a créé le groupe
d’informatique graphique. Il a obtenu son Habilitation à Diriger des
Recherches (HDR) en Informatique à l’Université Paris XI en 2012 avant de
devenir Professeur à Télécom ParisTech en 2013. +