Alessio MANSUTTI

ex-PhD student

This webpage is no longer maintained. The new one is HERE.

About

From September 2017 until December 2020, I was a PhD student at LSV under the supervision of Stéphane Demri and Étienne Lozes (i3S). My PhD is focused on the development of decision procedures for Separation Logic.

Publications

Teaching

2019-2020 @ Paris-Diderot 2018-2019 @ E.N.S. Paris-Saclay 2017-2018 @ E.N.S. Paris-Saclay

Talks et al.

About LSV

    

Contact

Alessio MANSUTTI
Address
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
E-Mail
mansutti୭lsv.fr