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

PhD publications
All publications: Google Scholar and DBLP

Teaching

2019-2020 @ Paris-Diderot

Initiation à la programmation en Java [site] (L1)
Principes de fonctionnement des machines binaires [site] (L1)

2018-2019 @ E.N.S. Paris-Saclay

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

2017-2018 @ E.N.S. Paris-Saclay

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

Talks et al.

CSL'20
Jelia'19
Friends of SL
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