Current position
Post-Doctoral reasearcher at University of Colorado Boulder, Programming Languages and Verification group.
Contact: sergio [dot] mover [at] colorado.edu
Past positions
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)
I defended my PhD Thesis in March 2014.
The thesis was supervised by Alessandro Cimatti and Stefano Tonetta.
Publications
Teaching