Hello, my name is Marcus. I’m a software developer currently finishing my Master’s thesis. My academic interest is in model-based formal verification methods.

Additionally, I am a music producer, DJ, and general music enthusiast, and am involved in the Copenhagen dance music scene.

I administrate and develop the fediverse-based nightlife calendar floor.tips, and I cohost a recurring dance party called Lytternes Dansefest at H15 scene in Kødbyen.