Ugo De' Liguoro
Professore/Professoressa associato/a
- Dipartimento di Informatica
- SSD: INF/01 - informatica
Contatti
- 0116706766
- 011751603
- ugo.deliguoro@unito.it
- https://unito.webex.com/meet/ugo.deliguoro
- Dipartimento di Informatica Corso Svizzera 185 10149 Torino
- https://laurea.informatica.unito.it/persone/ugo.deliguoro
Curriculum vitae
Curriculum Vitae
(62.8 KB) Insegnamenti
- Algoritmi e Strutture Dati (MFN0597)
Corso di laurea in Informatica - Formal methods and automatic reasoning in Agda
PhD in Computer Science - Metodi Formali dell'Informatica (MFN0633)
Corso di laurea in Informatica - Proving programs
PhD in Computer Science - Type theory at work: introduction to Agda
PhD in Computer Science
Temi di ricerca
Teoria dei linguaggi di programmazione e logica dei programmi
Tutor per il Dottorato in Informatica
Gruppi di ricerca
Attività in agenda
Organi
Ricevimento studenti
Da remoto e su prenotazione via email: ugo.deliguoro@unito.itIn risposta sarà fornito il link per il colloquio.