Brevemente

Siamo il e lavoro ancora al mio dottorato di ricerca al LRI.
Sono sotto la supervisione di Sylvain Conchon con cui lavoro sul model checking di sistemi parametrizati e temporizzati.

Sono pure teaching fellow (la parola italiana, qualcuno la conosce o non esiste ?) all'UFR Sciences dell'Università Paris-Sud dove partecipo al corso di Programmazione Funzionale Avvanzata per il terzo anno di laurea di primo livello.