Current position
Post-Doctoral reasearcher at University of Colorado Boulder, Programming Languages and Verification group.
Contact: sergio [dot] mover [at] colorado.edu
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.
Software
PhD Thesis
Verification of Hybrid Systems using Satisfiability Modulo Theories (PDF)
The thesis was supervised by Alessandro Cimatti and Stefano Tonetta.
Publications
Teaching