sei in : home > autori > ferruccio guidi
Autore:

Ferruccio Guidi


Ferruccio Guidi è nato a Venezia nel 1969. Laureato nel 1998 in Matematica presso l’Università degli Studi di Padova, ha conseguito il Dottorato di Ricerca in Informatica nel 2003 presso l’Università degli Studi di Bologna, dove svolge attualmente attività di ricerca negli ambiti della dimostrazione assistita, della teoria dei tipi e del lambda-calcolo.

intervista all'Autore

 
 
 

I libri che ha pubblicato con BookSprint


 

Gli E-book che ha pubblicato con BookSprint


 
 
 
 
Pubblica il Tuo Libro con BookSprintEdizioni
 
 
I Commenti dei Nostri Scrittori
 
* Dati aggiornati in tempo reale