• Automatic synthesis and repair of reactive programs
  
• Quantitative analysis and synthesis
  
• Formal verification and modelling of systems (e.g., hardware designs, transactional memories, biological systems, business processes,...)
  

I am a lecturer for the school of computer and communication sciences and I organise different outreach activities (for more details visit our IC Declic Summer School Webpage).
In addition, I work for Cadence Design Systems.
My research focused on the development of reliable computer systems using synthesis techniques. I am interested in Synthesis and repair of programs, Quantitative verification and synthesis, Synthesis from specifications in temporal logics, Analysis and verification of hardware designs, transactional memories, and business process models, Synthesis techniques for embedded systems and Interface theory, and Infinite games and Automata theory.