Lisa Allali   

Lisa Allali

Ph.D.

Thesis (french) - Thesis defense slides (french)
[my firstname].[my lastname]@gmail.com

Lisa Allali







I did my Ph.D. in the team Typical under the direction of Gilles Dowek
I am a former member of the INRIA ARC Corias about the conception of proof assistants based on superdeduction modulo.

Interests

Papers

Presentations

Teaching

Interships in laboratories

School