I work in the area of formal methods, and my research interests include verification and synthesis of reactive systems, applications of formal methods to control and robotics, quantitative verification of probabilistic systems, and information-flow security.

My work addresses the analysis of complex system models (featuring infinite state spaces, partial observability, continuous dynamics, and probabilistic uncertainty) against correctness requirements formalized in expressive formal specification languages (describing the temporal behaviour and strategic abilities of systems).

Ph.D. thesis Synthesis and Control of Infinite-State Systems with Partial Observability