Bjarte M. Østvold

Senior Research Scientist, Norwegian Computing Center

dr.ing., NTNU, 1999

Email: bjarte@nr.no

Phone: +47 22 85 26 22; fax: +47 22 69 76 60; 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

Main research interests:

• Programming languages: object-oriented programming, functional programming, program analysis, compilers, foundations of programming languages
• Software engineering: agile practises and their tool support, especially integrated development environments like Eclipse
• Security: security protocols, secure code, privacy

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

Projects

I work on the following projects:

• HATS: Highly Adaptable and Trustworthy Software using Formal Models, 2009-2013, funded by the European Commission
• COST Action IC0701: Formal Verification of Object-Oriented Software, 2007-2011, funded by the European Science Foundation
• Various smaller industry-funded or internal projects

Supervision

Current PhD students at the University of Oslo

Einar W. Høst, Understanding Programmer Language, 2005-now. Main supervisor: Bjarte M. Østvold; co-supervisor: Gerardo Schneider.

Former students at the University of Oslo

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.

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

Time-stamp: "2010-01-21 08:45:59 MET bjarte"