Lorenzo Tortora

Lorenzo Tortora de Falco è nato a Milano nel 1968. Attualmente è professore associato di Logica all'Università Roma Tre. Laureato in matematica all'Università La Sapienza di Roma, ha completato la sua formazione all'Université Paris 7, dove ha conseguito il dottorato in Logica e Fondamenti dell'Informatica. Dopo 9 anni a Parigi dove ha insegnato all'Université Paris X-Nanterre è rientrato in Italia nel 2000, e da allora insegna agli studenti di Filosofia ed agli studenti di Matematica. La sua ricerca si svolge nell'ambito della teoria della dimostrazione e dei suoi legami con l'informatica teorica, riscoperti nella seconda metà del secolo scorso con la corrispondenza di Curry-Howard tra dimostrazioni e programmi. Le sue pubblicazioni scientifiche hanno come oggetto principalmente le reti di prova della logica lineare. Si è recentemente interessato alla caratterizzazione logica delle classi di complessità computazionale.