Automata and Formal Languages Formal Methods in Computer Science
Biography
I am an Associate Professor in Computer Science at the Dept. Of Computer Science and Engineering, Chalmers & University of Gothenburg. I also hold a Senior Lecturer position at the CSE Department. I am the principal investigator of "synTM: Synthesis of Teamwork Multi-Agent Systems",a VR Starting Grant from the Swedish Research Council. I have been a Senior research fellow at the Dept. Of Computer Science and Engineering, University of Gothenburg working on my VR grant, a research associate at the University of Leicester, working on the ERC consolidator grant D-SynMA, investigating distributed reactive synthesis for Multi agent Systems. I was a PostDoc Researcher at SysMA research unit in IMT School for Advanced Studies Lucca, Italy; also a member of the Italian Project FILIERASICURA with Cisco Italia. I obtained my PhD, as well as the "Doctor Europeaus" certificate from IMT School for Advanced Studies Lucca working towards a Foundational theory of collective-adaptive systems. During my PhD, I have been a visiting research scholar at the Dept. Of Informatics, LFCS Laboratory in the University of Edinburgh where I investigated Quantitative Analysis of collective-adaptive systems. My research interests revolve around Concurrency and Control theory, Verification and Formal Methods.
