Research Interests
- Coordinator of the Quantum Information Technology Lab.
- Member of the Computational Biology and Bioinformatics.
- Quantum Computation.
- Algorithms.
- Formal Methods.
Future Events
- EQAI 2026: 5th European Summer School on Quantum AI
- ICTCS 2026: 27th Italian Conference on Theoretical Computer Science
Some Past Events
- CILC 2023: 38th Italian Conference on Computational Logic
- GandALF 2023: Games, Automata, Logics, and Formal Verification
- EQAI - European Summer School on Quantum AI - past editions
- HSB 2014: 3rd Int. Workshop on Hybrid Systems in Biology
- GandALF 2014: 5th Int. Symposium on Games, Automata, Logics and Formal Verification
- FMMB 2014: 1st Int. Conference on Formal Methods in Macro-Biology
- HSB 2013: 2nd Int. Workshop o Hybrid Systems in Biology
Publications
- AirUD Istitutional Repository
- Google Scholar
- DBLP
- ORCID
- Scopus (subscription required)
