Insegnamenti attivi nel periodo selezionato: 45.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Argomento | Descrizione | Area di ricerca |
---|---|---|
Ragionamento automatico | Dimostrazione automatica di teoremi; Costruzione automatica di modelli; Ragionamento su programmi; Analisi di strategie di dimostrazione automatica di teoremi; Deduzione automatica distribuita; Strategie di dimostrazione automatica di teoremi: basate su ordinamenti (risoluzione e riscrittura), riduzione a sotto-goal, generazione di istanze; Procedure di decisione per la soddisfacibilità modulo teorie e loro applicazione alla verifica di proprietà di programmi; |
Sistemi intelligenti
Artificial intelligence |
Verifica del software | Procedure di decisione per la soddisfacibilità modulo teorie e loro applicazione alla verifica di proprietà di programmi; generazione di invarianti mediante dimostrazione di teoremi; generazione di interpolanti mediante dimostrazione di teoremi; raffinamento di astrazioni per model checking o analisi statica mediante dimostrazione di teoremi |
Informatica teorica
Logic |
Carica | Organo collegiale |
---|---|
componente | Collegio dei Docenti del Dottorato in Informatica A.A. 2020/2021 - Dipartimento Informatica |
componente | Collegio Didattico di Informatica - Dipartimento Informatica |
componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |