Enseignant-Chercheur en Informatique - LRDE

Didier Verna
E PITA / L RDE
14-16, rue Voltaire, 94276 Le Kremlin Bicêtre
Tél: +33 (1) 44 08 01 85, Fax: +33 (1) 53 14 59 22
[email protected]
http://www.lrde.epita.fr/˜didier
46 ans, deux enfants
Enseignant-Chercheur en Informatique
Ingénieur / Docteur Télécom ParisTech
EXPÉRIENCE
PROFESSIONNELLE
M
Recherche :
2014–. . .
2011–. . .
2010
2008–. . .
2008
2006
2000–. . .
4 Encadrement de thèses (Performance et généricité dans les langages dynamiques pour le traitement
d’image et les statistiques).
4 Comité de programme de SAC (ACM Symposium on Applied Computing), PL (Programming Languages), PSC (Programming for Separation of Concerns).
4 Comité de programme de DLS (Dynamic Languages Symposium, satellite de SPLASH).
4 Comité de programme de ILC (International Lisp Conference), chairman en 2014.
4 Invitation à la Vrije Universiteit de Bruxelles (Software Languages Laboratory).
4 Comité de programme et de pilotage de ELS (European Lisp Symposium). Président de l’association Elsaa pour le pilotage du symposium. Chairman en 2011.
4 Comité de programme de COP (Workshop on Context-Oriented Programming), satellite d’E COOP.
4 Comité de programme de DyLa (Dynamic Languages and Applications Workshop.
4 Organisateur d’ELW (European Lisp Workshop), satellite d’E COOP.
4 Organisateur du séminaire Performance et Généricité du L RDE.
4 2 prix du meilleur article.
4 Invitation à l’université de Bordeaux I (LaB RI).
4 Chercheur permanent à l’EPITA : généricité et performance dans les langages fonctionnels, C OM MON L ISP en particulier. Participation aux projets du laboratoire de recherche et développement de
l’EPITA (LRDE).
M
Enseignement :
2003–. . .
2000–. . .
1996–
2000
1995–
2000
4 Chargé de cours au Master d’Informatique de Paris VI (Jussieu), spécialisation IAD (Intelligence
artificielle et Décision), module TSI (Traitement et Synthèse d’Images).
4 Chargé de cours en 3e année à l’ENSTA : Synthèse d’Images.
4 Chargé de cours en 3e année à l’ENST : Synthèse d’Images.
4 Enseignant permanent à l’EPITA :
• Cours :
Modélisation Orientée Objet, Programmation Fonctionnelle, Systèmes
d’Exploitation.
• Cours / TP :
Programmation Orientée Objet, Analyse Lexico-syntaxique.
• Conférences : Typographie, Systèmes de gestion de projet.
• Autres :
Encadrement permanent des élèves du Laboratoire de Recherche et
Développement. Formation par la recherche.
4 Chargé de cours au Mastère Multimédia de l’École des Beaux Arts (Réalité Virtuelle, VRML).
4 Chargé de cours en 3e année à l’ENST (Réalité Virtuelle, VRML).
4 Nombreux autres enseignements, travaux dirigés, travaux pratiques dans différents domaines d’enseignement du Département Informatique et Réseaux de l’ENST :
• Environnements Ouverts : Interfaces graphiques, ergonomie, multimédia. . .
• Intelligence Artificielle : Techniques de réseaux de neurones, systèmes experts, traitement du langage naturel. . .
• Systèmes d’exploitation : Processus, communication, parallélisme, synchronisation. . .
• Langages informatiques : C, L ISP, Prolog, Java. . .
EXPÉRIENCE
P R O F E S S I O N N E L L E (suite)
M
Développement :
2000
1996–. . .
4 Relecteur technique du livre « GNU autoconf, automake, libtool » (New Riders).
4 Membre de l’équipe de développement d’XEmacs. Mainteneur depuis 1998.
4 Mainteneur de Gnus et B BDB.
4 Auteur de plusieurs paquets LATEX : FiXme, FiNK, QCM, CurVe, DoX.
4 Contributeur actif à certains logiciels libres de la Free Software Foundation (autoconf, automake,
libtool, a2ps), auteur de divers autres logiciels libres.
COMPÉTENCES
Langages :
Toolkits :
Systèmes :
Génie
Logiciel :
Autres :
TECHNIQUES
4 Common Lisp, C, C++, Objective-C, Haskell, Caml, Java, Prolog. Scriptage et outils : shells, Ruby,
Python, Javascript, P HP, Sed, Grep, Awk, Lex, Yacc. . .
4 LATEX, H TML / C SS 2, V RML.
4 OpenGL, Cocoa, Qt, Motif, Gtk, X11, Athéna, Awt. . .
4 Linux, Mac OS X, Solaris. Portage d’applications pour HP- UX, I RIX, B SD. . .
4 Programmation de ces systèmes et de leurs outils de communication, parallélisme, synchronisation (IPC, RPC, sockets, threads, multicast. . .).
4 Windows.
4 Portabilité et développement (autoconf, automake libtool, gettext. . .), gestion et contrôle de projet
(Git, Mercurial, D ARCS, S VN, P RCS, C VS. . .).
4 Administration système quotidienne de machines Linux et OS X.
FORMATION
1995–
1999
19911994
1988–
1991
1988
4 Thèse de doctorat à l’ENST, spécialité Informatique et réseaux : « Télé-Opération et Réalité Virtuelle : assistance à l’opérateur par modélisation cognitive de ses intentions ».
4 Diplôme d’ingénieur de l’ENST. Options de seconde année : Informatique, traitement du Signal,
Électronique. Options de troisième année : intelligence artificielle et sciences cognitives.
4 Classes de Mathématiques Supérieures et Spéciales (M’) au lycée Michel Montaigne de Bordeaux.
4 Baccalauréat série C.
DIVERS
Langues :
Loisirs :
4 Anglais Professionnel (ARELS, 8 ans de théâtre en langue anglaise).
4 Pratique du Japonais (3 ans d’études, 5 mois de vie et plusieurs voyages au Japon).
4 Espagnol lu, écrit et parlé (5 ans d’études).
4 Musicien de Jazz semi-professionnel : guitariste et chanteur (@-quartet, Voice Messengers. . .).
Autres instruments : batterie, percussions, piano.
4 Comédien depuis 1991, dont 8 ans en langue anglaise.
4 Arts Martiaux : Aïkido. Shodan Fédéral FFAB / UFA et Aïkikaï de France. Brevet fédéral d’enseignement FFAB / UFA. Membre de l’E NA (Tamura Senseï). Président du PUC Aïkido (75013).
4 Sports : Ski, Patinage Artistique.
4 Animateur diplômé B AFA.
PUBLICATIONS
SÉLECTIONNÉES
M
Chapitres de livre :
2012
4 Extensible Languages : Blurring the Distinction between DSLs and GPLs. Dans Formal and Practical
Aspects of Domain Specific Languages : Recent Developments, chapitre 1, IGI Global.
M
Revues :
2010
2008
4 Revisiting the Visitor : the Just Do It Pattern
Didier Verna. Dans Journal of Universal Computer Science, Volume 16, Numéro 2, Pages 246 – 271, 2010.
4 Binary Methods Programming : the C LOS Perspective.
Didier Verna. Dans Journal of Universal Computer Science, Volume 14, Numéro 20, Pages 3389 – 3411, 2008.
M
Conférences :
2016
2015
2012
2011
2010
2009
2006
4 Type Checking of Heterogeneous Sequences in Common Lisp
Jim Newton, Akim demaille et Didier Verna. Dans ELS’16, 9th European Lisp Symposium, Krakovie, Pologne, 9–10 Mai 2016.
4 Context-Oriented Image Processing
Didier Verna. Dans COP’15, Context Oriented programming Workshop, Prague, Tchéquie, 2015.
4 Generic Image Processing with Climb
Didier Verna. Dans ELS’12, 5th European Lisp Symposium, Zadar, Croatia, 2012.
4 Towards LATEXCoding Standards
Didier Verna. Dans TUG’11, TEX Users Group, TUGBOAT, Volume 32, Numéro 3, Pages 309 – 328, Trivandrum, India, October 2011.
4 Biological Realms in Computer Science
Didier Verna. Dans Onward !’11, The ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software Proceedings , Portland, USA, October 2011.
4 Classes, Styles, Conflicts : the Biological Realm of LATEX
Didier Verna. Dans TUG’10, TEX Users Group, TUGBOAT, Volume 31, Numéro 2, Pages 162 – 144, San
Francisco, USA, Juin 2010.
4 CLOX : C OMMON L ISP Objects for XEmacs
Didier Verna. Dans ELS’10, 3rd European L ISP Symposium, Lisbon, Portugal, Mai 6–7 2010.
4 CLOS Efficiency : Instantiation – On the Behavior and Performance of Lisp, Part 2.1
Didier Verna. Dans ILC’09, International Lisp Conference, Cambridge, MA, USA, Mars 2009.
4 Prix du meilleur article : Beating C in Scientific Computing Applications – On the Behavior and Performance of L ISP, Part 1.
Didier Verna. Dans ELW’06, European L ISP workshop, Nantes, Juillet 2006.