Skip links

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

    Ongoing theses

    • open theses
    • ongoing theses
    • completed theses
    Name Title
    Magnus Økstad Distributed Data Structures with Dependent Types (working title)
    Sean Amaury Lapalus A Domain-Specific Language for Real-Estate Floor Plans (working title)
    Jakub Wasylków Verification software for concurrent software written in C using GCD (working title)
    Jakob Konrad Hansen  
    Sebastian Max Sjøvoll Kingston Automated Refactoring of Test Suites in Python

    Updated: November 25, 2020

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