Alessio MANSUTTI

PhD student

About

I'm currently a PhD student at LSV under the supervision of Stéphane Demri and Étienne Lozes (i3S). My research is focused on the development of decision procedures for Separation Logic.

Publications

Teaching

2018-2019 2017-2018

Talks

About LSV

Contact

Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
E-Mail
alessio (dot) mansutti (at) lsv.fr