Reception times

Lunedì dalle ore 13.30 alle ore 15.00 presso lo studio 3 edificio 3 (ground floor) - Via della Vasca Navale 84

Curriculum

Marco Pedicini è nato a Roma. Ha ottenuto la laurea in Matematica presso l'Università La Sapienza di Roma nel 1991. Nel 1992 ha ottenuto un DEA (Diplôme d'études approfondies) dall'Università Paris 7, e nel 1999 ha ottenuto il Ph.D. dalla stessa Università Paris 7 (direttore di tesi J.-Y. Girard). E' stato ricercatore del CNR, presso l'Istituto per le Applicazioni del Calcolo "Mauro Picone" dal 1992 al 2011. Dal Gennaio 2012 è Professore Associato (Informatica e Logica Matematica) presso l'Università Roma Tre. La sua area di ricerca è l'Informatica Teorica, e i suoi interessi comprendono: la logica applicata all'informatica, i metodi computazionali per la biologia dei sistemi, la teoria dei numeri computazionale, la crittografia. Ha realizzato il Software PELCR per l'esecuzione in ambito distribuito dei linguaggi logici e funzionali. E' stato ricercatore visitatore in varie università (tra cui Paris 7, Paris 13, Strasbourg, Cambridge, Berkeley). Ha coordinato ed ha partecipato a progetti di ricerca nazionali PRIN, CNR e internazionali TMR, INTAS, STREP, FET-Open.