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

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

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

- reach me -

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