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

2018-2019

Mathématiques Discrètes [TDs] (L3, ENS Paris-Saclay)
Programation 1 [TDs] (L3, ENS Paris-Saclay)
Rewriting Techniques [TDs] (M1, ENS Paris-Saclay)

2017-2018

Mathématiques Discrètes [TDs] (L3, ENS Paris-Saclay)
Rewriting Techniques [TDs] (M1, ENS Paris-Saclay)

Talks

Barbizon'18: INFINI session, Open problem session
FoSSaCS'18 (slides also used at GT-Verif'18)
INFINI.11'17