This website is no longer maintained nor updated. Its main purpose is to point you to my new website.
Below you can find my website in the state of summer 2012, when my stay in Nice came to an end.
my_last_name AT unice DOT fr
Phone: +33 (0)4 92 07 62 76
Fax: +33 (0)4 93 51 79 74
Location: Office/Bureau 722 (3rd floor/3ieme etage), Laboratoire J. A. Dieudonné
A somewhat outdated personal webpage is my googlepages webpage.
I am currently PhD student and teaching assistant at Université Nice Sophia Antipolis.
My PhD thesis
I did my PhD thesis under the supervision of Andre Hirschowitz
, from autumn 2008 until spring 2012.
The title of my thesis is Initiality for Typed Syntax and Semantics
I defended my thesis on May 23, 2012.
- Semantics of programming languages
- Logic and type theory
- Formal proofs and formalised mathematics
- Functional programming
- Category theory in programming
Campus Valrose static
My office is in the building "Recherche Mathematique", called "W".