Postal address: Email: Dept. of Computer Science firstname at ru dot is Reykjavik University Skype: Menntavegi 1 firstname dot surname 102 REYKJAVÍK Phone: ICELAND +354 599 6495
I am a full professor at the Dept. of Computer Science of Reykjavik University (RU). I also have a part-time duty at the Dept. of Software Science of the Tallinn University of Technology (TUT) as a lead research scientist, taking care of the Lab for High-Assurance Software, in particular the Logic and Semantics Group.
For 15 years, I worked at the Institute of Cybernetics, a research institution of TUT, first as a senior researcher, then as a lead research scientist. I also taught at TUT's Dept. of Computer Science. In connection to the major reforms at TUT, these structures were closed in Dec. 2016.
Prior to that, I was a postdoc at the Dept. of Informatics, University of Minho in Braga.
For my PhD, I studied at KTH Royal Institute of Technology in Stockholm. My MSc is from TUT, but I wrote the thesis at the Norwegian University of Science and Technology (NTNU) in Trondheim.
My research interests include structural proof theory and type theory, algebraic and categorical logic, semantics of programming languages, type systems and program logics, functional programming, constructive mathematics.
We organized NWPT '21 as a hybrid meeting in Reykjavik.
We organized PPDP/LOPSTR '21 physically in Tallinn and online.
Dylan McDermott, Exequiel Rivas and I delivered a tutorial on interaction laws at ICFP '21.
I taught at MGS '21 and OPLSS '21.