Theses and Projects

I supervise students mostly from Computer Science, Data Science, Software Development, and Software Design programs. If you seek a thesis project in software engineering for data science, machine learning, robotics, or open-source software, feel free to reach out by email. There is no need to write to multiple supervisors in SQUARE. It is better to write to one, and make it clear in the email that you are only writing to one. We coordinate among ourselves, and you will get more attention if we know you are not spamming.

It is a good idea to poke around my website first, and check the list of available topics in the SQUARE research group; the document is available if you are logged into sharepoint with ITU account.

Past and Current Courses

  • Probabilistic Programming (BSc/MSc/PhD) 2026, 2025, 2024, 2022, 2021, 2020
  • Advanced Programming (MSc) 2025, 2024, 2023, 2022, 2021, 2020, 2019, 2018 (Spring and Fall), 2017, 2016, 2015
  • Advanced Software Analysis (MSc): 2025, 2024, 2023, 2022
  • Modeling Languages and Systems (MSc level) 2019
  • Domain Specific Languages (MSc level) 2017, 2016
  • Model-driven development project (MSc Level) 2015, 2014, 2013, 2012, 2011
  • Spring 2012: Compositional Design and Verification of Real-Time Systems (QMC PhD School)
  • Winter 2011: Foundations of Model-Driven Software Development (PhD level)
  • Fall 2010: Introductory Software Engineering Seminar
  • Spring 2010: Algorithms and Data Structures (BADS) for undergraduate students (also in Spring 2009 and Spring 2008).
  • Spring/Summer 2009: a Reading group on experimentation in software engineering.
  • Fall 2008: System Architecture and Security in the graduate programme (SDT). I did not give any lectures but actively influenced the design of this course.
  • Fall 2007: Performance & Test with Henrik Reif Andersen and others (previous editions Fall 2006, Spring 2007).
  • Spring 2007: A small fraction of the course on Test and Verification in Computer Science Department in Aalborg, with Ulrik Nyman, Kim G. Larsen, Brian Nielsen, and Arne Skou (also in F2006).
  • Spring 2007: Software Programmable Signal Processing Platform Analysis at the Department of Communication Technology of Aalborg University. In CS terms this course is a compiler mini-course with emphasis on DSP specific optimizations. (Previous editions Spring 2005, Spring 2006.)
  • Spring 2006: Logic Based Methods for Optimization, a PhD course with Rune Møller Jensen at IT University.
  • Spring 2006: Introduction to Algorithms and Data Structures (IADS) at IT University. Together with Anna Östlin Pagh. (Previous editions Fall 2005, Spring 2005, Fall 2004.)
  • Spring 2005: Programming Languages, Interpreters and Compilers together with Peter Sestoft (previous editions Spring 2004, Spring 2003, Spring 2002).
  • Fall 2003: A guest lecture on modeling with statecharts in DTU course on Operating Systems for Embedding (course responsible was Jørgen Steensgaard-Madsen).
  • Fall 2003: Inżynieria oprogramowania (Software Engineering, in Polish) at Warsaw University of Technology. The course was given by Krzysztof Kaczmarski; I was responsible for a small fraction on formal methods.
  • Fall 2001: Efficient Algorithms and Programs (in English) at IT University together with Henrik Reif Andersen and Henrik Hulgaard.