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 or the English version of the vortexified version of my homepage. Both web pages in the University's official content management system are not always up-to date, and don't contain information of research done outside UiO (i.e., from earlier positions).

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