Bjarte M. Østvold

Mug shot
Senior Research Scientist, Norwegian Computing Center
dr.ing., NTNU, 1999
Email: bjarte@nr.no
Office phone: +47 22 85 26 22; mobile phone: +47 97 64 73 89; switchboard: +47 22 85 25 00
Skype: bjartemoestvold
Postal address:
Norsk Regnesentral / Norwegian Computing Center
PO Box 114 Blindern
NO-0314 Oslo, Norway
Private email and address (internal access only)

I manage the Information Security group.

Research

I strongly believe in applying computer science theory to solve problems in software engineering practice.

Research interests:

List of publications at Google Scholar and DBLP.

Awards

ECOOP 2009 Best Paper (with Einar W. Høst)

Projects

I'm currently involved in the following projects:

In 2017, I took part in organising the 50 years anniversary of Simula, the first object-oriented programming language.

Supervision

Current students

None at the moment, except for a summer internship.

Former students

(Institution is University of Oslo if not specified.)

Petter Iversen, Specification-based security analysis of REST APIs, Institution: NTNU, 2018, Supervisors: Edvard K. Karlsen, Jingyue Li, Bjarte M. Østvold. Awardeed degree: master.

Edvard K. Karlsen, Simple static analysis techniques for Java: Using latent meaning to find security bugs, 2015. Institution: Norwegian University of Science and Technology. Awarded degree: master. Supervisors: Torbjørn Skramstad and Bjarte M. Østvold. Now at Kantega.

Edvard K. Karlsen, Abstract flow: A model for essential semantics of Java methods, 2012. Institution: Sør-Trøndelag University College. Awarded degree: bachelor.

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

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 DNV GL.

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


Written using Emacs. Time-stamp: "2018-06-11 07:12:53 MET bjarte" Valid XHTML 1.1 Valid CSS!