About Me

My goal is to make it easier for developers to write correct code. To achieve this, I use a mixture of programming languages, formal methods, and software engineering. I focus on approaches, that have practical applications and where the tools we write can have an immediate impact on industry.

Interests

Here is a list of interest, that I'm currently working on.

• Testing, Debugging, and Profiling

• Programming Languages and Analysis

• Build Systems and Compilers

• Software Quality, Maintenance, and Development

Current Teaching

• Program Analysis: DTU/02242

• Programming Project: DTU/02325

Projects

• Sb3d: Security by Design in Digital Denmark a Industry Fund project.