Research

Topics

• Artificial Intelligence.
• Logic-based automated reasoning.
• Automated analysis of safety and mission critical systems.
• Reliable autonomous systems.
• Vulnerability analysis of software systems.

Software Tools

• SeaHorn : Automated analysis framework for LLVM-based languages.
• JayHorn : Automated analysis framework for Java programs.
• CoCoSim : An integrated analysis framework for Simulink/Stateflow models.
• Zustre : SMT-based model checker and assume-guarantee contract generator for Lustre.
• LustreC : A modular compiler for Lustre.

Publications

Most of my publications can be found online:

• Google Scholar
• DBLP

Service

• NSF Panel 2016
• Workshop and Tutorials chair for LPAR-2018
• Program chair for HCVS-2018
• Program chair for NASA Formal Methods 2017
• General chair for VSTTE-2016
• Local chair for CAV 2015
• Program chair : CAV-2015 Artifact Evaluation.
• PC: LPAR-2018, FMCAD-2018, HCVS-2018, HCVS-2016, AVOCS-2014, ASE-TOOLS-2014, VSTTE-2014, ISSTA-2014 Artifact Evaluation.
• Reviewer for: CAV, ISSTA, TACAS, ASE, AVOCS, CADE, VMCAI, FMCAD.