Postal address: Email: School of Computer Science firstname at ru dot is Reykjavík University Skype: Menntavegi 1 firstname dot surname 101 REYKJAVÍK Phone: ICELAND +354 599 6495
I am a full professor at the School 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.
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, leading the logic and semantics group. 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.
Attend or send your students to our winter school EWSCS 2019. It's the 24th edition!
We had great time at ICTAC 2018 in Stellenbosch. Check the talk slides and pictures!