cristani
univrit
venerdì,
Ore 11.30
- 13.30,
Ca' Vignal 2, piano 1, stanza 88
Il ricevimento è regolarmente svolto il giorno Venerdì. Tuttavia, date le vigenti restrizioni si richiedono le seguenti avvertenze: (1) richiedere sempre per email appuntamento per l'orario di ricevimento corrispondente, in modo che il docente possa programmare tale ricevimento senza il rischio di assembramenti o della presenza di un mumero troppo elevato di persone nella stessa stanza o nel corridoio. Qualora fosse necessario, lo studente può essere ricevuto in un orario differente da quello previsto; (2) Indossare sempre la mascherina durante il colloquio.
Curriculum vitae (in English)
(pdf, en, 105 KB, 20/09/19)
Curriculum vitae (in Italiano)
(pdf, it, 89 KB, 20/09/19)
Insegnamenti attivi nel periodo selezionato: 89.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| Agenti intelligenti | L'area di ricerca degli agenti intelligenti si occupa di progettare e sviluppare entita' autonome in grado di percepire, comprendere ed interagire con l'ambiente in cui gli agenti operano. Alcuni degli argomenti di tale area di ricerca sono: pianificazione delle azioni, apprendimento, ragionamento in condizioni di incertezza. |
Sistemi intelligenti
Artificial intelligence |
| Formal methods and theory of security | Development of formal, and possibly automated, methods for the analysis of the security of software systems |
Ingegneria del Software e Sicurezza
Formal methods and theory of security |
| Network security | Development of techniques and tools for the security of computer networks |
Ingegneria del Software e Sicurezza
Network security |
| 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 |
| Rappresentazione della conoscenza | La rappresentazione della conoscenza è il settore di ricerca a cavallo tra Intelligenza Artificiale e Sistemi Informativi che si occupa del problema di elaborare informazione di natura non numerica. |
Sistemi intelligenti
Artificial intelligence |
| Sistemi Multiagente | L'area di ricerca dei sistemi multiagente si occupa di progettare e sviluppare sistemi in cui agenti intelligenti interagiscono tra loro e con l'ambiente. Alcuni degli argomenti di tale area di ricerca sono: assegnazione dei compiti, ragionamento a vincoli distribuito, ottimizzazione decentralizzata, apprendimento decentralizzato, percezione cooperativa. |
Sistemi intelligenti
Artificial intelligence |
| Carica | Organo collegiale |
|---|---|
| componente | Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica |
| componente | Collegio Didattico di Informatica - Dipartimento Informatica |
| componente | Comitato Scientifico del Master Universitario in Computer game development (I livello) - Dipartimento Informatica |
| componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
