You can e-mail me at firstname.lastname@example.org
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.