Ha contribuito allo sviluppo e alla diffusione dell’informatica in Italia. Collaborò con il suo professore, Corrado Böhm, con il quale nel 1966 dimostrò il teorema che porta il loro nome e che rappresenta il fondamento teorico di tutti i moderni linguaggi di programmazione strutturata. Ha lavorato all'Istituto per le applicazioni del calcolo (IAC) ed è stato docente di logica matematica e informatica presso l'Università La Sapienza di Roma.
Opere
Voci correlate Teorema di Böhm-Jacopini
Collegamenti esterni
Categoria:Informatici italiani