Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.
| Struttura | |
| Spin OFF | |
| KET | |
| Keywords | Formal Methods, Model checking, Automatic Verification, Intelligent Systems, Autonomous Systems, Safety Critical Systems, Mission Critical Systems, aerospace, Smart Grid, In-silico trial, bioinformatics, Artificail intelligence, machine learning, Digital twins |
| Progetti principali | |
| Altre informazioni |
| Nome | |
| Toni Mancini | toni.mancini@uniroma1.it |
| Ivano Salvo | ivano.salvo@uniroma1.it |
| Leonardo Picchiami | leonardo.picchiami@uniroma1.it |
| Marco Esposito | marco.esposito@uniroma1.it |
| Nome e cognome | Organizzazione | |
|---|---|---|
Igor Melatti | Università dell'Aquila | igor.melatti@univaq.it |
| ERC | Descrizione |
| PE6_2 | Distributed systems, parallel computing, sensor networks, cyber-physical systems |
| PE6_3 | Software engineering, programming languages and systems |
| PE6_4 | Theoretical computer science, formal methods, automata |
| PE6_7 | Artificial intelligence, intelligent systems, natural language processing |
| PE6_12 | Scientific computing, simulation and modelling tools |
| PE6_13 | Bioinformatics, bio-inspired computing, and natural computing |
| PE7_1 | Control engineering |
| PE7_12 | Electrical energy production, distribution, applications |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
