Christian Bergum Bergersen

Christian Bergum Bergersen

Working on my master's degree in Master of Science in Informatics: programming and networks at the Department of Informatics, University of Oslo.

Master thesis

Announcement for my thesis can be found here.

My talk about Partial Order Reduction in Java Path Finder.

Explore my GoAnalysis tool developed in my thesis.

Courses taken

Last updated 11.1.2016