Current position
Post-Doctoral reasearcher at University of Colorado Boulder, Programming Languages and Verification group.
Contact: sergio [dot] mover [at]
Past positions
APLAS 2017
Consider to submit to the 15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
Abstract deadline: Tuesday, June 13, 2017
Paper deadline: Friday, June 16, 2017
Research Interests
Formal methods, verification of hybrid systems, verification of infinite-state systems, abstraction refinement techniques, parameter synthesis, satisfiability modulo theories.
PhD Thesis
Verification of Hybrid Systems using Satisfiability Modulo Theories (PDF)
The thesis was supervised by Alessandro Cimatti and Stefano Tonetta.