Research groups

  1. Home
  2. Research
  3. Research groups
  4. Artificial Intelligence (AI)

Artificial Intelligence (AI)

The group conducts research in Artificial Intelligence, including Automated Reasoning, Search Algorithms, Knowledge Representation, Machine Learning, Multi-Agent Systems, and their applications.
Nicola Assolini
PhD student
Alberto Castellini
Temporary Assistant Professor
Matteo Cristani
Associate Professor
Luca Pasetto
Temporary Professor (Department Foreign Languages and Literatures)
Tewabe Chekole Workneh
PhD student
Maria Paola Bonacina
Full Professor
Ferdinando Cicalese
Full Professor
Alessandro Farinelli
Full Professor
Claudio Tomazzoli
Temporary Assistant Professor
Maddalena Zuccotto
PhD student
Topic Research area
Intelligent Agents Bioinformatica e informatica medica
Artificial intelligence
Intelligent Agents Intelligenza Artificiale
Artificial intelligence
Algorithms for Bioinformatics Bioinformatica e informatica medica
Life and medical sciences
Algorithms for Bioinformatics Algoritmi, Logica e teoria della computazione
Life and medical sciences
Bioinformatics and Natural Computing Bioinformatica e informatica medica
Life and medical sciences
Bioinformatics and Natural Computing Algoritmi, Logica e teoria della computazione
Life and medical sciences
Formal methods and theory of security Sicurezza informatica
Formal methods and theory of security
Formal methods and theory of security Ingegneria del Software e verifica formale
Formal methods and theory of security
Network security Sicurezza informatica
Network security
Network security Ingegneria del Software e verifica formale
Network security
Decision Tree Optimization Bioinformatica e informatica medica
Machine learning
Decision Tree Optimization Intelligenza Artificiale
Machine learning
Process control systems Sistemi informativi ed analisi dei dati
Information systems applications
Automated Reasoning Bioinformatica e informatica medica
Artificial intelligence
Automated Reasoning Intelligenza Artificiale
Artificial intelligence
Rappresentazione della conoscenza Bioinformatica e informatica medica
Artificial intelligence
Rappresentazione della conoscenza Intelligenza Artificiale
Artificial intelligence
AI, Robotics & Automatic Control Sistemi robotici e automazione Sistemi robotici e automazione
Multiagent Systems Bioinformatica e informatica medica
Artificial intelligence
Multiagent Systems Intelligenza Artificiale
Artificial intelligence
Pattern Recognition Bioinformatica e informatica medica
Machine learning
Pattern Recognition Intelligenza Artificiale
Machine learning
Software Verification Algebra, Geometria e Logica Matematica
Logic
Software Verification Algoritmi, Logica e teoria della computazione
Logic
Software Verification Ingegneria del Software e verifica formale
Logic
Title Managers Sponsors Starting date Duration (months)
COREWOOD - Riposizionamento competitivo del la filiera del legno Franco Fummi Regione del Veneto Nov 7, 2017 36
GHOTEM - Global House Thermal & Electrical Energy Management Franco Fummi Regione del Veneto Nov 7, 2017 36
INTCATCH- Development and application of Novel, Integrated Tools for monitoring and managing Catchments Alessandro Farinelli Unione Europea Jun 1, 2016 44
Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems - Design and integration of proof engines for program analysis Maria Paola Bonacina Ministero dell'Istruzione dell'Università e della Ricerca Sep 22, 2008 24
EXPO-AGRI - EXtra-field Plant Observation for monitoring and forecast of agricultural infections - Joint Projects 2015 Davide Quaglia Agricontrol snc di Balbo e Secco, Ateneo, Centro di sperimentazione e assistenza agricola - CERSAA Feb 1, 2016 24
Rich-model toolkit: an infrastructure for reliable computer systems Maria Paola Bonacina Unione Europea Oct 30, 2009 48
Study and development of machine learning techniques for data prediction. Alessandro Farinelli, Luca Di Persio Terranova s.r.l. Oct 22, 2019 12
Support for data acquisition, management and analysis in the context of "smart-land" applications Alessandro Farinelli Smartea s.r.l. Jan 27, 2020 12

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share