After a master degree in computer computer science in 2011 at the Università di Bologna, he is now Ph.D. candidate and teacher at Université Paris 13 and Ph.D. candidate in Bologna. His research activities are placed on the logical foundations of programming languages, rewriting theory and proof theory. He also serves as teacher at Institut Galilée, where, beside the numerous and various teaching assistances, he has been in charge for the web technologies course (2011-2015), and the Unix/Linux system administration course (2012-2015).

Location

Paris

Disciplines

• Computer Sciences
• Mathematics

Affiliation

Université Paris 13

Website

http://ms.xt3.it