Skip links

  • Skip to primary navigation
  • Skip to content
  • Skip to footer
  • about me
  • (open) master projects
  • compiler construction
  • fp
  • sa
  • supervision
  • publications
  • blog
  • program verification
  • teaching

    About me

    Welcome to my webpages!

    Martin Steffen

    • home
    • email
    • github
    • PGP
    • Email

    I am working as professor in computer science in the group Reliable Systems (formerly called PMA) at the Department of Computer Science, Faculty of Mathematics and Natural Science, University in Oslo.

    Updated: November 17, 2020

    • Follow:
    • Feed
    © 2023 Martin Steffen. Powered by Jekyll & Minimal Mistakes.