Roberto Sebastiani

Professore ordinario

Dipartimento di Ingegneria e Scienza dell'Informazione

Via Sommarive, 9 - 38123 Povo
tel. 0461 281514
roberto.sebastiani[at]unitn [dot] it
| https://disi.unitn.it/~rseba/
Area CUN: Ingegneria industriale e dell'informazione (09)
Settore scientifico disciplinare: SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI (ING-INF/05)
Competenze:
Apprendimento
Intelligenza artificiale
Linguaggi formali
Linguaggio
Logica matematica
Metodi formali
Metodologia di indagine
Modellazione concettuale
Ottimizzazione
Pragmatica
Progettazione hardware
Ragionamento automatico
Soddisfacibilità
Tecnologie dell'informazione e della comunicazione (ICT)
Verifica formale

Il ricevimento per "Metodi Formali" e "Programmazione 1" sono senza orario fisso, SU APPUNTAMENTO.

Office Hours for "Formal methods" and "Programmazione 1" courses do not have a fixed timetable, and are

made BY APPOINTMENT.

Ultimo aggiornamento giovedì 05 luglio 2012