Photo: Sunset at Øyungen, near Oslo, in July 2006. The Nordic summer is short and intense. The next morning it rained into our tent.
Main research interests:
I strongly believe in applying advanced programming language techniques to problems in software engineering practise.
I work on the following projects:
Einar W. Høst, Understanding Programmer Language, 2005-now. Main supervisor: Bjarte M. Østvold; co-supervisor: Gerardo Schneider.
Arild B. Torjusen, A formal and executable model for comparing XML documents, 2003. Awarded degree: cand. scient. Now a PhD fellow at the University of Oslo.
Hung Huynh, Comparing Java programs: syntactic and contextual semantic differences, 2005. Awarded degree: siviling. Now at Selvaag BlueThink.
Jørgen Hermanrud Fjeld, Compiling Creol Safely, 2005. Awarded degree: siviling. Supervisors: Einar Broch Johnsen and Bjarte M. Østvold. Now at Linpro.
Erling Holmqvist, A structural approach to web page partitioning, 2005. Awarded degree: master. Now at Esito AS.
Steingrim Dovland, Liberating coroutines: Combining sequential and parallel execution, 2006. Awarded degree: master. Now at BBS.
Henrik Berg, Evolutionary Machine Learning: Neutrality, Diversity and Applications, 2003-2009. Main supervisor: Roland Olsson; co-supervisors: Bjarte M. Østvold, Olaf Owe. Awarded degree: PhD. Now at FFI.
You think you know when you learn, are more sure when you can write,
even more when you can teach, but certain when you can program.
-- Alan J. Perlis