My work focuses on formal methods, in particular
model checking using Satisfiability Modulo Theories (SMT) for different systems (hybrid systems and embedded software) and on program analysis.
News
The abstract submission deadline for FM 2024 is April 15th.