Lisa Allali   

Lisa Allali

Ph.D. student - Team Typical (ex-Logical)
under the direction of Gilles Dowek

Office 00-1028
[my firstname].[my lastname]@gmail.com

Lisa Allali







I am a member of the INRIA ARC Corias about the conception of proof assistants based on superdeduction modulo.

Interests

Papers

Presentations

Teaching

Interships in laboratories

School