Jacopini

Jacopini

Jacopini Giuseppe (Genova 1936 - Roma 2001) matematico e informatico teorico italiano. Ha contribuito allo sviluppo e alla diffusione dell’informatica in Italia. Si laureò in matematica a Roma sotto la guida di C. Böhm. Iniziò così tra i due una intensa collaborazione che li portò, nel 1966, a dimostrare un importante teorema (→ Böhm-Jacopini, teorema di), che costituisce il fondamento teorico delle metodologie di programmazione strutturata. Nello stesso periodo Jacopini aveva raggiunto un risultato teorico ancora più radicale, descritto in un lavoro intitolato Macchina universale di von Neumann ad unico comando universale. Ha lavorato allo IAC (Istituto per le applicazioni del calcolo) ed è stato docente di logica matematica e informatica presso l’Università La Sapienza di Roma.