Research Interests

• Coordinator of the Computational Biology and Bioinformatics research group.
• Systems Biology.
• Dynamical Systems and Hybrid Automata.
• Information Flow Security.
• Quantum Computation.

Recent and Future Events

• EQAI 2023: 2nd European Summer School on Quantum AI
• CILC 2023: 38th Italian Conference on Computational Logic
• GandALF 2023: Games, Automata, Logics, and Formal Verification

Some Past Events

• EQAI 2022: 1st European Summer School on Quantum AI
• 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
• Discrete Models in Systems Biology Workshop at SAMSI. North Carolina, December 3-5 2008. Presentation slides.
• ICLP'08: Int. Conference on Logic Programming. Udine, Italy, December 9-13 2008.Tutorial slides.
• WODES'08: Int. Workshop on Discrete Event Systems.Gothenburg, Sweden, May 28-30 2008.Presentation slides.
• ATVA'08:Int. Symposium on Automated Technology for Verification and Analysis. Seoul, Korea, October 20-23 2008. Presentation slides.

Publications

• AirUD Istitutional Repository
• Google Scholar
• DBLP
• ORCID
• Scopus (subscription required)
• Web of Science (subscription required)

Software

• Sapo: Synthesis and Analysis of POlynomial systems.
• CIMICE-R: (Markov) Chain Method to Infer Cancer Evolution.
• WGA-LP:Whole Genome Assembly of contaminated reads.
• SAHA-Tool - A tool for Semi-Algebraic Hybrid Automata analysis.
• ProPesca - A tool for Gene Profiling Analysis.
• PicNIc - Pi calculus Non Interference checker.
• CoPS - Checker of Persistent Security.
• BANANA - Boundary Ambients Nesting ANAlysis.
• Fast Bisimulation Algorithm.
• The {log} Interpreter.

Reading Suggestions

• Reducibility Among Combinatorial Problems R. M. Karp
• NP is as Easy as Detecting Unique Solutions L. G. Valiant and V. V. Vazirani
• Size-Estimation Framework with Applications to Transitive Closure and Reachability E. Cohen