Bjarte M. Østvold

Senior Research Scientist, Norwegian Computing Center

dr.ing., NTNU, 1999

Email: bjarte@nr.no

Phone: +47 22 85 26 22; switchboard: +47 22 85 25 00

Postal address:

Norsk Regnesentral / Norwegian Computing Center

PO Box 114 Blindern

NO-0314 Oslo, Norway

Personal contact info (only accessible for NR)

Photo: Sunset at Øyungen, near Oslo, in July 2006. The Nordic summer is short and intense. The next morning it rained into our tent.

Research

I strongly believe in applying advanced programming language techniques to problems in software engineering practise.

Main research interests:

• Programming languages: program analysis of object-oriented languages, semantic models of programs, defect detection
• Software engineering: software corpora, corpus-based analysis, integrated development environments, e.g. Eclipse
• Security: secure code, privacy

My list of publications.

Projects

I currently work on the following projects:

• HATS: Highly Adaptable and Trustworthy Software using Formal Models, 2009-2013, funded by the European Commission
• PETweb II: Privacy-respecting Identity Management for e-Norge, 2009-2013, funded by the Research Council of Norway
• COST Action IC0701: Formal Verification of Object-Oriented Software, 2007-2012, funded by the European Science Foundation
• Various smaller industry-funded or internal projects

Supervision

Current students

Edvard K. Karlsen, Sør-Trøndelag University College. Pursuing degree: Bachelor of Science.

Former students at the University of Oslo

Einar W. Høst, Meaningful Method Names, 2011. Main supervisor: Bjarte M. Østvold; co-supervisor: Gerardo Schneider. Awarded degree: PhD. Now at Computas.

Henrik Berg, Evolutionary Machine Learning: Neutrality, Diversity and Applications, 2009. Main supervisor: Roland Olsson; co-supervisors: Bjarte M. Østvold, Olaf Owe. Awarded degree: PhD. Now at FFI.

Arild B. Torjusen, A formal and executable model for comparing XML documents, 2003. Awarded degree: cand. scient. Now at Det Norske Veritas.

Hung Huynh, Comparing Java programs: syntactic and contextual semantic differences, 2005. Awarded degree: siviling. Went to Selvaag BlueThink.

Jørgen Hermanrud Fjeld, Compiling Creol Safely, 2005. Awarded degree: siviling. Supervisors: Einar Broch Johnsen and Bjarte M. Østvold. Went to Linpro.

Erling Holmqvist, A structural approach to web page partitioning, 2005. Awarded degree: master. Went to Esito AS.

Steingrim Dovland, Liberating coroutines: Combining sequential and parallel execution, 2006. Awarded degree: master. Now at Nets.

Quote

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