Sergio Mover

Assistant Professor

Department of Computer Science, École Polytechnique

Cosynus team, LIX - Computer Science Laboratory

I am mainly interested in formal methods for Cyber-Physical Systems (CPSs), embedded systems, and mobile systems. I worked on model checking techniques for CPSs and embedded software using Satisfiability Modulo Theories (SMT), and on program analysis techniques for mobile apps (in particular for Android apps).

I am also interested in synthesis, “Big Code” (i.e., automatically learning from existing code to solve tasks like program synthesis or repair), model-based safety assessment, and planning (e.g., for hybrid domains).


Professional Activities

Member of the program commitee of:

  • International Joint Conference on Artificial Intelligence and European Conference on Artificial Intelligence (IJCAI-ECAI) 2018
  • AAAI Conference on Artificial Intelligence (AAAI) 2018
  • AAAI Conference on Artificial Intelligence (AAAI) 2018
  • Asian Symposium on Programming Languages and Systems (APLAS) 2017
  • International Conference on Software Engineering and Formal Methods (SEFM) 2017
  • AAAI Conference on Artificial Intelligence (AAAI) 2017

Member of the artifact evaluation committee of:

  • Static Analysis Symposium (SAS) AEC 2018
  • Conference on Computer-Aided Verification (CAV) AEC 2018
  • Symposium on Principles of Programming Languages (POPL) AEC 2018



An SMT-Based Model Checker for Hybrid Systems-


nuXmv is a new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems.


An OpenSource Tool for Symbolic Model Checking