I am a researcher at the Formal Methods unit of the Department of Computer Science and Engineering, University of Gothenburg and Chalmers, working on the ERC Consolidator Project dSynMA (Distributed Synthesis from Single to Multiple Agents), led by Nir Piterman.
I am interested in the application of formal methods for the modelling, analysis, verification, and synthesis of programs, smart contracts, and legal contracts.
Current projects: