I am a PhD student with the Distributed and Embedded Systems (DES) unit in the Department of Computer Science at Aalborg University. The topic of my PhD is Games for Controlling and Configuring Embedded Systems and my advisors are Kim G. Larsen and Jiri Srba. A am currently a member of the Center for Embedded Software Systems CISS and the Danish-Chinese center for basic research IDEA4CPS.
Formal method for verification and synthesis of systems with multiple configurations. More precisely combining game theory and software product lines. My interest extend to the area of Games, Automata Theory, Model Checking and Complexity Theory
Joint work with Kim G. Larsen and Jiri Srba accepted for MEMICS'12.