I am a post-doctoral fellow in Computer Science at McGill University, Canada. Before that, I was a postdoc at Aarhus University, Denmark. Before that, I was a Ph.D student at PPS, Université Paris Diderot and Università di Bologna. I worked also as an A.T.E.R at Université Paris Diderot for two years. During my thesis, I worked in the fields of type and proof theory, namely on proof certificates, incremental type-checking and sequent calculus. I am particularily interested in:


You will find below some of my work:


During my A.T.E.R contract at Paris Diderot, I taught the following courses:


I try to keep a public journal of my scientific activity, which takes the form of a blog, called Syntax!. You can find it here.


You can find here a list of my repositories. You should know what you are looking for though.


Mail: p...h@cs.mcgill.ca

McConnell Engineering Bldg, Rm 225
3480 University Street
Montreal, Quebec, Canada
H3A 0E9