My project is about automated synthesis of programs. This is closely related to non-classical (fixed-point) logics, control of discrete-events systems, and algorithmic game theory.This project is funded by WASP-Sweden.As a component of departmental duties, I work as a teaching assistant for many courses such as "Mathematical Modelling and Problem Solving", "Programming Language Technology" and "Testing, Debugging and Verification".Apart from academic roles, I am a representative for the CS division at the PhD council of the department of computer science and engineering. Also, I am a representative of the CSE department to the GS doctoral guild.

I am officially employed by Chalmers but my research and studies are funded by WASP.My project is about designing efficient algorithms for reactive synthesis of controllers for the autonomous systems. I am also leader of the WASP clusters on Safety and Robustness of Autonomous Systems.

I worked on algorithmic verification of discrete-time linear dynamical systems.