Sergio Mover

Assistant Professor

Department of Computer Science, École Polytechnique

Cosynus team, LIX - Computer Science Laboratory

I am 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).

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).

News

  • FMCAD 2022: The abstract submissionf deadline for FMCAD is May 8th 2022 May 15th 2022.
  • VSTTE 2022: The abstract submission deadline for VSTTE is : July 15, 2022
  • IP Paris master - CPS Track: applications for the Cyber-Physical Systems track of the Master Program in Computer Science at the Institut Polytechnique de Paris (IPP).
    The second deadline to apply for the academic year 2022/2023 is April 13th 2022.
    Contact us if you need further information about the program.

Publications

Show list

Professional Activities

Tools

HyCOMP

An SMT-based symbolic model checker for hybrid systems

nuXmv

A symbolic model checker for finite- and infinite-state systems.

NuSMV

An open source symbolic model checker for finite-state systems.

Verivita

A verification tool for event-driven application programming protocols.

BigGROUM

A tool for mining programming patterns conserved across source code repositories.

Top