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 conservative flow networks.
From Electrical Switched Networks to Hybrid Automata. (FM2016)