You are here
- Phone: +39 0461 314332
- FBK Povo
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.
From Electrical Switched Networks to Hybrid Automata. (FM2016)
SMT-based analysis of switching multi-domain linear Kirchhoff networks. (FMCAD 2017)