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 paper submission deadline for NFM 2025 is December 13!.