Research

My research topic is focused towards the fundamentals of game theory applied to controller synthesis techniques for probabilistic environments. I am currently working on stochastic games with GR(1) objectives. During the internship I have done at National Institute of Informatics (Tokyo, Japan), I started working in the field of requirements engineering. I am currently studying the way to automatically construct a full operational model based on high level goals specifications and applying controller synthesis techniques.

   Main interests: Automata theory, game solving, probabilistic models, μ-calculus, formal methods and synthesis.

Teaching