Martin Steffen

Martin Steffen is Professor at the Department of Informatics, University of Oslo, specializing in reliable systems. His research focuses on formal methods for program correctness, including semantics, verification, static analysis, and concurrency.

His work spans programming language theory, compiler construction, and model checking, with applications to security and compositionality. Current projects include Syncopia (Synthesis and Analysis for Concurrent Programs) and contributions to the Concurrent Security and Robustness for Networked Systems initiative.

Recent publications address railway system verification, data-race detection in Go, and memory model semantics. His teaching covers compiler construction, functional programming, and program verification methodologies.