Autori & Autrici

Eugenio Omodeo

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.


Newsletter
Invia la tua email per iscriverti alla newsletter. Riceverai informazioni sugli aggiornamenti e sulle attività del sito


Collabora con noi. Controlla i prossimi Call for papers e invia il tuo testo. La redazione valuterà se pubblicarlo su uno dei prossimi numeri.