Published multiple papers including 'Topic-Based Communication Between Agents', 'First-Order Coalition Logic', 'Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems' and presented at various international conferences.
Research Experience
Worked as a postdoc at the University of Bergen and LSV (CNRS, ENS Paris-Saclay).
Education
Received a PhD degree from the School of Computer Science, Nottingham University, under the supervision of Natasha Alechina.
Background
Currently an associate professor at the Department of Information Science and Media Studies, University of Bergen. Research interests include modal logics for multi-agent systems, specifically dynamic epistemic logics and strategy logics.
Miscellany
Taught a course on Quantification in Dynamic Epistemic Logic.