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 Kirchhoff's networks.

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

From Electrical Switched Networks to Hybrid Automata. (FM2016)
SMT-based analysis of switching multi-domain linear Kirchhoff networks. (FMCAD 2017)