Gianpiero Cabodi

Gianpiero Cabodi è docente, presso il Politecnico di Torino, di “Tecniche di programmazione” e “Algoritmi e Strutture Dati” (corso di Laurea in Ingegneria Informatica), “Programmazione di Sistema” (corso di Laurea Magistrale in Ingegneria Informatica).

Svolge attività di ricerca nel contesto della progettazione di circuiti elettronici e sistemi embedded, con particolare riferimento alle tecniche di verifica formale. E’ autore di più di 100 pubblicazioni scientifiche in congressi e riviste internazionali. E’ (o è stato) referente scientifico per circa 50 contratti di ricerca con enti pubblici o privati.

E’ referente per tirocini curricolari dell’Area ICT, ruolo che lo ha portato a curare svariate iniziative in ambito orientamento in uscita e contatti tra aziende e Ateneo.