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

New position
20. Nov. 2014: New DAAD-NFR exchange project ``GoRETeCH'' accepted.
3. Sep. 2014: New project proposal (``GoreTeCH'') for NFR's/DAAD's PPP mobility programme submitted.
August 2013: new semester: models of concurrency (INF 4140)
Oct. 2014: KSE'14
26. June 2014: Ph.D defense of Violet Ka I Pun.
June 2014: COST Action IC402
21. May 2014: new paper accepted for SEFM 2014.
21. May 2014: New project proposal (``Asgard'') for NFR's FRINATEK program submitted.
7. May 2014: Ph.D defense of Silvia Lizeth Tapia Tarifa.
Jan. 2014: new semester static analysis (INF 5906)
Dec. 2013: new paper, to appear 2014 at MSCS special issue on behavioral types: ``Observable interface behavior and inheritance''
10 Dec. 2013, 10:00: Master presentation Peter Brottveit Bock
October 2013: Special issue Information and Computation FCT'13 available
2014: SEFM'14
August 2014: SETTA'14
August 2013: new semester: models of concurrency (INF 4140)
October 2013: ATVA 2013
11. June 2013: Ph.D defense of Mai Thuong Tran.
June 2013: new paper, to appear at SEFM'13: ``Compositional resource analysis''
August 2012: new semester: Algorithms (INF 2220)
July 2012: new paper, to appear at FACS'12: ``Deadlock detection''
July 2012: new tech report: ``behavior inference''
June 2012: new paper: ``Type system for resource bound calculation''
7. June 2012: Ph.D defense of Hallstein A. Hansen
March 2012: SAC-SVT 2013 (Track on Software Verification and Testing)
March 2012: Two journal papers (Journal of logic and algebra) accepted
November 2011: 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