Eugenio Omodeo

È Studioso Senior all'Università di Trieste e socio corrispondente dell'Accademia Gioenia di Catania. Si laureò in matematica all'Università di Padova e conseguì il Ph.D. in informatica alla New York University sotto la supervisione di Martin Davis. Rientrato in Italia, è stato per anni quadro tecnologico presso compagnie del gruppo ENI: lì, a partire dal 1984, coordinò attività R&D dell'Enidata in più progetti finanziati dalla Commissione Europea, incentrati sulla programmazione dichiarativa e sulla rapida prototipazione di software. Dal 1989 al 2020 è stato professore in diverse università italiane (Udine, "La Sapienza", Salerno, L'Aquila, Trieste). Coautore di tre monografie scientifiche sulla logica computazionale al servizio della teoria degli insiemi, ha contribuito alla scoperta di vari metodi d'inferenza basati su teorie formali, alcuni dei quali sono implementati in un verificatore di dimostrazioni su grande scala sviluppato assieme a Jacob T. Schwartz.

Interviste

Conversation with Martin Davis

Martin D. Davis, emeritus professor at the New York University, is among the world’s most eminent logicians. One of his teachers at the City College of New York, Emil L. Post, exerted a very direct influence on the direction of…

Eugenio Omodeo
Gennaio 31, 2022