Welcome to Daniel Hirschkoff's Home Page

I am a maître de conférences (that is lecturer), member of the Plume team of the LIP laboratory, at ENS Lyon .
I am also external collaborator of the INRIA Focus team.

- RESEARCH - TEACHING - ADMINISTRATIVE DUTIES - MISCELLANEOUS -

My research interests include

• PROOFS theorem proving, and in particular formalised mathematics
• CONCURRENCY calculi for concurrency, and in particular the mechanisation of bisimulation proofs
• TYPES type systems for the lambda calculus and for models of mobility
• ...

  more on this

Students I am or have been working with: (stage de L3, stage de master, thèse)
Romain Kervarc - Etienne Lozes - David Teller - Arnaud Carayol - Stéphane Gimenez - Samuel Mimram - Céline Coma - Damien Pous - Thomas Braibant - Romain Demangeon - Ioana Cristescu - Alexis Fouilhé - Jean-Marie Madiot - Simon Castellan - Ryan Kavanagh - Adrien Durier - Enguerrand Prebet - Titouan Leclercq - Iwan Quémerais

Au premier semestre, je fais le cours "théorie de la programmation" en L3.
Au second semestre, je fais le cours "projet fonctionnel" en L3.

Je suis responsable de la première année du Master d'Informatique, spécialité "Informatique, Concepts et Applications".

- reach me -

- music -
No page available, however I do love music.