Sergio Mover

Registered user since Wed 28 Jun 2017

Name:Sergio Mover
Bio:

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

Affiliation:Ecole Polytechnique
Research interests:Formal Methods, Cyber-Physical Systems, Model Checking, Program Analysis, Satisfiability Modulo Theories

Contributions

APLAS 2021 Session Chair of Language Design (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
SPIN 2021 Session Chair of Session 2 (part of SPIN)
Ecole Polytechnique in Programming Committee within the SPIN-track
ECOOP 2019 Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Posters-track
Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Research Papers-track
Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Artifacts-track
* ICSE 2018 * Author of DroidStar: Callback Typestates for Android Classes within the Technical Papers -track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track