Davide Ancona
-
Professore associato
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
Sezione interscuola di scienze matematiche, fisiche e naturali del DIBRIS
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
INFO-01/A - Informatica
-
Componente del Consiglio della ScuolaScuola di scienze matematiche, fisiche e naturali
-
Membro della Giunta di dipartimentoDipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
Didattica
Insegnamenti
2025 - 2026
-
INTERNET OF HEALTHCARE THINGS MOD. 2 (cod. 106758)
CORSO DI LAUREA MAGISTRALE - BIOENGINEERING -
INTERNET OF THINGS (cod. 90524)
CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE -
LINGUAGGI DI PROGRAMMAZIONE (cod. 61799)
CORSO DI LAUREA - INFORMATICA
2024 - 2025
-
INTERNET OF HEALTHCARE THINGS MOD. 2 (cod. 106758)
CORSO DI LAUREA MAGISTRALE - BIOENGINEERING -
INTERNET OF THINGS (cod. 90524)
CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE -
LINGUAGGI E PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (cod. 61799)
CORSO DI LAUREA - INFORMATICA
Ricerca
Pubblicazioni IRIS
-
Checking equivalence of corecursive streams: An inductive procedure
Anno: 2024 -
Checked corecursive streams: Expressivity and completeness
Anno: 2023 -
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
Anno: 2023 -
Message from the Chairs
Anno: 2023 -
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
Anno: 2023
- davide.ancona@unige.it
- Telefono
- +39 010 353 6636
Ricevimento
Su appuntamento richiesto per email o con Teams
