Didier Verna

Registered user since Fri 30 Jan 2015

Name: Didier Verna

Bio: Dr. Didier Verna has a Ph.D. in Computer Science and is currently working as an assistant 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 as a program committee member in various conferences (International Lisp Conference, European Lisp Symposium, Dynamic Languages Symposium, ACM Symposium on Applied Computing, 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 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

Research interests: Programming Languages

Contributions

‹Programming› 2020Committee Member in Program Committee within the Research Papers-track
ELS 2019Author 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› 2019Author of Quickref: Auto-Documenting the Common Lisp Ecosystem within the Demos-track
META'18Author of Recognizing heterogeneous sequences by rational type expression within the Meta-track
FARM 2018Committee Member in Program Committee within the FARM 2018-track
COP 2018Committee Member in Program Committee within the COP-track
‹Programming› 2018Author of Lisp, Jazz, Aikido – Three Expressions of a Single Essence within the Research Papers-track
ELS 2017Presenter of Programmatic Manipulation of Common Lisp Type Specifiers within the ELS 2017-track
Organizing Chair in Organizing Committee within the ELS 2017-track
COP 2016Committee Member in Program Committee within the COP-track
DLS 2015Committee Member in Program Committee within the DLS-track
COP 2015Author of Context-Oriented Image Processing within the COP-track