Didier Verna

Registered user since Fri 30 Jan 2015

Name: Didier Verna

Bio: Didier Verna has a Ph.D. and an habilitation in Computer Science, and is currently working as a professor for EPITA, a private Computer Science university located in Paris. He gives or has given lectures on Operating Systems, Computer Graphics, Object-Oriented, Functional Programming and Typesetting. His main research interests are multi-paradigm approaches to genericity and performance.

Didier Verna is the president of the European Lisp Symposium steering committee and serves or has served as a program committee member in various conferences (International Lisp Conference, European Lisp Symposium, Dynamic Languages Symposium, ACM Symposium on Applied Computing, Onward!, Context-Oriented Programming workshop etc. ).

Didier Verna is also quite involved in free software: he was one of the core maintainers of XEmacs for more than 15 years, a contributor to Gnus and BBDB, and an occasional contributor to other Free Software projects (the GNU Autotools most notably; he was one of the technical reviewers for the “Goat Book”). He is the author of several LaTeX packages and Common Lisp libraries.

All of this is in fact half-true: two days a week, Didier Verna drops his scientific hat and wears the semi-professional Jazz musician one instead (he has released 3 albums with his quartet). He also is a certified Aikido teacher, and gives coaching sessions on the theme “Aikido and Conflict Management” for large companies.

Country: France

Affiliation: EPITA / LRDE

Personal website: https://www.lrde.epita.fr/~didier

Twitter: https://twitter.com/didierverna

GitHub: https://github.com/didierverna

Research interests: Programming Languages

Contributions

SPLASH 2021 EPITA / LRDE in Onward! Steering Committee within the Onward! Papers-track
EPITA / LRDE in Onward! Steering Committee within the Onward! Essays-track
SPLASH 2020 Session Chair of F (part of Keynotes)
Session Chair of F (part of Keynotes)
Committee Member in Onward! Steering Committee within the Onward! Essays-track
Session Chair of T-4-Onward (part of Onward! Essays)
Onward! Essays Chair in Organizing Committee
PC Chair in Program Committee within the Onward! Essays-track
Committee Member in Onward! Steering Committee within the Onward! Papers-track
‹Programming› 2020 Committee Member in Program Committee within the Research Papers-track
DLS 2011 Committee Member in Program Committee within the DLS 2011-track
ELS 2019 Author of Implementing Baker’s | SUBTYPEP Decision Procedure within the ELS 2019-track
Author of Parallelizing Quickref within the ELS 2019-track
Author of Finite Automata Theory Based Optimization within the ELS 2019-track
Organizing Chair in Organizing Committee within the ELS 2019-track
‹Programming› 2019 Author of Quickref: Auto-Documenting the Common Lisp Ecosystem within the Demos-track
META'18 Author of Recognizing heterogeneous sequences by rational type expression within the Meta-track
FARM 2018 Committee Member in Program Committee within the FARM 2018-track
COP 2018 Committee Member in Program Committee within the COP-track
‹Programming› 2018 Author of Lisp, Jazz, Aikido – Three Expressions of a Single Essence within the Research Papers-track
ELS 2017 Presenter of Programmatic Manipulation of Common Lisp Type Specifiers within the ELS 2017-track
Organizing Chair in Organizing Committee within the ELS 2017-track
COP 2016 Committee Member in Program Committee within the COP-track
DLS 2015 Committee Member in Program Committee within the DLS-track
COP 2015 Author of Context-Oriented Image Processing within the COP-track