Alessio MANSUTTI

PhD student

Publications

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.

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