Welcome to my web pages
I work as professor in computer science in the PMA (precise modelling and analysis) group in Oslo, Norway.
You may also consult the centrally administered Cristin-pages (formerly known as Frida) for information (not always up-to date). Here is the English version of my new vortexified version of my homepage.

News
November 2012: Two journal papers (Journal of logic and algebra) accepted
November 2012: Static analysis course page open
August 2012: KSE 2012
March 2012: SAC-SVT 2012 (Track on Software Verification and Testing)
August 2011: Proceedings of FCT'2011 LNCS 6914 available
August 2011: paper about Design issues in concurrent object-oriented languages and observability (to appear in the IEEE proceedings of KSE'11 )
June 2011: Sumo'11
August 2011: TASE'11
August 2011: FCT 2011
June 2011: Discotec 2011, Fmoods/Forte
April 2011: new technical report Nr. 409 ``Observable interface behavior and inheritance''
March 2011: new technical report Nr. 404 ``Deadlock Checking by a Behavioral Effect System for Lock Handling''
February 2011: paper about Safe locking (to appear in FSEN'11)