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

Personal website: http://www.sergiomover.eu/

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

Contributions

ECOOP 2019Author 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
Show activities from other conferences

ECOOP 2019-profile
View general profile