Martin Steffen
Professor at University of Oslo
Oslo, Norway
Summary
👤
Senior🎓
Top SchoolMartin Steffen is a Professor of Computer Science at the University of Oslo with over 11 years in senior academic roles and a research career spanning formal methods, programming language semantics (especially for object-oriented languages), concurrency theory, static analysis and model checking. He combines deep theoretical expertise with extensive teaching and supervision experience across systems, algorithms, distributed systems and embedded programming, frequently guiding student projects implemented in Java. His work bridges rigorous semantics and practical verification techniques, informing both compiler and tool development. Based in Oslo, he brings a long academic trajectory from Erlangen-Nürnberg and Kiel to bear on current research and education, often translating abstract logics into concrete analysis and verification workflows. An understated strength is his sustained focus on making concurrency and verification accessible to students through hands-on projects and course design.
11 years of coding experience
10 years of employment as a software developer
Dr, Dr at FAU Erlangen-NürnbergHabilitation, Habilitation at Kiel University
Github Skills (21)
programming-language9
golang9
go8
interpreter8
compiler6
odin6
goplus5
citations4
bibtex4
jekyll4
csl4
jekyll-theme4
bibliography3
ruby3
ocaml2
Programming languages (5)
Github contributions (5)
MartinSteffen/snot
Jun 2017 - Jan 2023
Contributions:8 pushes, 1 branch in 5 years 8 months
MartinSteffen/tiny
Jul 2015 - Nov 2019
Contributions:357 pushes, 5 branches in 4 years 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.