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 (NR access only)

Research

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

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

List of publications at Google Scholar and DBLP.

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

None at this time.

Former students

(Institution is University of Oslo if not specified.)

Edvard K. Karlsen, Abstract flow: A model for essential semantics of Java methods, 2012. Institution: Sør-Trøndelag University College. Awarded degree: Bachelor of Science. Now pursuing a Master at NTNU.

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.

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

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.

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

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