I am a PhD student in Programming Theory working as part of the Bergen Language Design Laboratory.
In my spare time, I dabble in Capture The Flag (CTF) competitions as a core member of the Inshallhack and TeamBaguette teams, the latter of which I played in the DEFCON finals with in 2018. I am also interested in vulnerability research and part of the ProofOfCalc team.
[1] Benjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Järvi and Sandra Macià. 2019. Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays. In Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY 2019). [doi | pdf]