Working on my master's degree in Master of Science in Informatics: programming and networks at the Department of Informatics, University of Oslo.
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.