Curriculum del Prof. Stefano Berardi.

Estratto dal verbale del Consiglio di Facolta' di Scienze
di Torino del 30 Ottobre 1998

"Stefano Berardi, nato a Torino il 5 Gennaio 1962, si e' laureato in Matematica  con lode l'11 Luglio 1984. Nel periodo  Marzo 1985 - Gennaio 1986 ha usufrito di una borsa di studio CNR presso l'Universita' di Parigi VII, dove ha approfondito gli studi nel campo della Logica Matematica, Lambda Calcolo e Semantica Denotazionale sotto la guida di J.Y. Girard. 
Ha frequentato il dottorato italiano dal Febbraio 1986, all'Ottobre 1989,  conseguendo il titolo di dottore di ricerca con una tesi sulle teorie costruttivi dei tipi e sul loro impiego per la formalizzazione di dimostrazioni e specifiche di programmi. Tale tesi e' citata nella letteratura del ramo come contributo basilare alla comprensione sistematica dei calcoli tipati di ordine superiore. Nel secondo semestre del 1988 e' stato visitatore presso la Carnegie 
Mellon University, Pittsburgh, PA, e nel secondo semestre del 1994 ha visitato, come professore invitato, la Chalmers University of Technology di Goteborg. 

Dal primo Novembre 1990 e' ricercatore presso il Dipartimento di Informatica dell'Universita' di Torino [E' professore associato dal 1 Novembre 1998, e ordinario dal 1 Ottobre 2001, per un anno presso l'Universita' di Lecce, in seguito presso l'Universita' di Torino]. Durante questi anni e' stato titolare di vari insegnamenti, presso la Facolta' di Scienze MFN di Torino ed Alessandria. L'attivita' didattica del Prof. Berardi ha coperto un ampio spettro di insegnamenti, comprendendo corsi di Logica matematica, Programmazione e  Laboratorio di programmazione. 
 
L'attivita' di ricerca di S. Berardi si e' svolta prevalentemente nel campo delle teorie costruttive dei tipi e delle loro applicazioni ai sistemi automatici di verifica delle dimostrazioni e sintesi di programmi. I suoi contributi in questo campo, in particolare sulla sistematizzazione formale delle teorie dei tipi e  sulle loro capacita' espressiva, sono unanimemente considerati dalla comunita' internazione di fondamentale importanza per il settore, anche in relazione alla realizzazione dei sistemi di dimostrazione assitita dal calcolatore basati su tali teorie. 

 Cio' e' testimoniato anche dai numerosi inviti a conferenze internazionali ricevuti al prof. Berardi (Chambery, Baastad, Tokyo) e dalle 8 tesi di dottorato (di cui 2 in Italia e 6 all'estero), di cui egli e' relatore o co-relarore. Un riconoscimento esplicito dell'importanza dei contributi del Prof.Berardi si trova anche nella presentazione del progetto CEE BRA-ESPRIT 6453 "TYPES" (ora trasformato in working group) di cui egli e'stato ed e' tuttora esponente di punta, in particolare per il sito di Torino. 

  Anche la piu' recente attivita' di ricerca del  Prof. Berardi, nel campo del'impiego della teoria dei giochi nell'estrazione del significato costruttivo dalle prove classiche, continua ad avere una funzione trainante per gli altri membri del suo gruppo di ricerca e per la comunita' internazionale in genere. 

  Il Prof. Berardi e' autore di numerosi lavori, da solo o in collaborazione con ricercatori italiani e stranieri, pubblicati sulle piu' importanti riviste internazionali nonche' sugli atti delle principali conferenze nel campo della logica applicata e dei fondamenti dell'informatica."