Welcome to my homepage. I am heading the research group on foundations of dependable systems (ΦΔΣ). My research interests include:

• automata theory related to reactive systems
• logics for verification
• automated and interactive verification
• microcontrollers