Sergio Mover
Sergio Mover
Assistant Professor, École Polytechnique
- Joined July 2019
Names
Emails
****@polytechnique.edu (Confirmed)
, ****@lix.polytechnique.fr (Confirmed)
Personal Links
Education & Career History
Assistant Professor
École Polytechnique (polytechnique.fr)
2019 – Present
Postdoc
University of Colorado at Boulder (colorado.edu)
2015 – 2018
Postdoc
Fondazione Bruno Kessler (fbk.eu)
2014 – 2015
PhD student
Fondazione Bruno Kessler (fbk.eu)
2009 – 2014
Advisors, Relations & Conflicts
PhD Advisor
Stefano tonetta
2009 – 2014
Expertise
formal methods, model checking, satisfiability modulo theories, SMT, temporal logics
Present
hybrid systems
Present
program analysis, software verification
Present
reinforcement learning, hierarchical reinforcement learning, goal representation
Present