You are here

Mirko Sessa

PhD Student
  • Phone: +39 0461 314332
  • FBK Povo
Short bio

Mirko Sessa is a PhD candidate in the ICT International Doctoral School at the University of Trento, Italy. He received his master’s degree in computer engineering cum laude from the University of Naples Federico II, Italy. His research mainly focuses on symbolic formal verification of hybrid multi-domain conservative flow networks.

Research interests
DAE-based formal modeling and verification. Hybrid systems. SMT-based model checking.
Publications

From Electrical Switched Networks to Hybrid Automata. (FM2016)