Furio Honsell

Professore di Teoria degli Automi presso l’Università di Udine

TUTTI GLI SPEAKER
TUTTI GLI SPEAKER

Furio Honsell

Professore di Teoria degli Automi presso l’Università di Udine

Venerdì pomeriggio ci condurrà alla scoperta delle nuove frontiere della matematica. Furio Honsell è Professore Ordinario di Teoria degli Automi presso l’Università di Udine. Ha pubblicato oltre un centinaio di articoli scientifici sui fondamenti della matematica, la teoria dei tipi, la semantica dei linguaggi di programmazione, la dimostrazione formale e la certificazione formale del software, il lambda-calcolo, la teoria dei giochi, e la salute pubblica. E’ stato sindaco di Udine riuscendo ad ottenere importanti risultati nell’abbattimento dei gas serra.
Honsell ha inoltre un’intensa attività di divulgazione scientifica e promozione dell’alfabetizzazione matematica e della cultura del gioco come strumento di inclusione sociale.