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

PhD publications
all publications, Google Scholar and DBLP

Teaching @ ENS Paris-Saclay

2018-2019

Mathématiques Discrètes [TDs] (L3)
Programmation 1 [TDs] (L3)
Rewriting Techniques [TDs] (M1)

2017-2018

Mathématiques Discrètes [TDs] (L3)
Rewriting Techniques [TDs] (M1)

Talks et al.

GdR IM'19 (poster)
FSTTCS'18
INFINI.12'18
Barbizon'18: INFINI session, Open problem session
FoSSaCS'18 (slides also used at GT-Verif'18)
INFINI.11'17