I joined the Reliable Systems (PSY) group at the University of Oslo. I will work as postdoctoral research fellow in the interdisciplinary project A digital twin for the Oslo Fjord.

I defended my dissertation with distinction under supervision of Bernhard Aichernig. Martin Leucker, University of Lübeck, acted as external examiner.

My thesis with the title Automata Learning for Security Testing and Analysis in Networked Environments. (PDF), includes nine publications on active and passive automata learning techniques for the model learning and security testing of network protocols.

Our paper Mining Digital Twins of a VPN Server has been presented at the workshop Applications of Formal Methods and Digital Twins in Lübeck, Germany.

In this paper, written together with Benjamin Wunderling, Bernhard K. Aichernig, and Edi Muškardin, we showcase how active automata learning can be used to mine digital twins of VPN servers.