cristani
univrit
martedì,
Ore 10.30
- 12.30,
Ca' Vignal 2, piano 1, stanza 88
Il ricevimento è regolarmente svolto il martedì dalle 10.30 alle 12.30. È possibile prenotare un colloquio anche in altri orari, anche su Zoom, inviando una mail al docente.
Curriculum vitae (in English)
(pdf, en, 467 KB, 26/02/24)
Curriculum vitae (in Italiano)
(pdf, it, 466 KB, 26/02/24)
Insegnamenti attivi nel periodo selezionato: 102.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
| 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. |
Bioinformatica e informatica medica
Artificial intelligence |
| 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. |
Intelligenza Artificiale
Artificial intelligence |
| Formal methods and theory of security | Development of formal, and possibly automated, methods for the analysis of the security of software systems |
Sicurezza informatica
Formal methods and theory of security |
| 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 verifica formale
Formal methods and theory of security |
| Network security | Development of techniques and tools for the security of computer networks |
Sicurezza informatica
Network security |
| Network security | Development of techniques and tools for the security of computer networks |
Ingegneria del Software e verifica formale
Network security |
| Process control systems | Process control systems |
Sistemi informativi ed analisi dei dati
Information systems applications |
| 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; |
Bioinformatica e informatica medica
Artificial intelligence |
| 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; |
Intelligenza Artificiale
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. |
Bioinformatica e informatica medica
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. |
Intelligenza Artificiale
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. |
Bioinformatica e informatica medica
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. |
Intelligenza Artificiale
Artificial intelligence |
© 2024 | Verona University
