Backend / cloud developer · Computer scientist based in Aalborg, Denmark.
I build reliable backend systems and enjoy turning hard problems into well-tested software. My background pairs several years of academic research in formal methods with production experience across the Danish healthcare sector and, now, connected consumer hardware.
Software Developer @ Saphe A/S — on the backend / cloud team, building and maintaining features across a C#/.NET microservice architecture, containerized with Docker and running on Google Kubernetes Engine (GKE), communicating over gRPC. I also take on DevOps work: deployments, monitoring, CI/CD pipelines (Azure DevOps), and cluster configuration.
- Netcompany (2020–2024) — IT consultant → Senior Architect → Senior Specialist. Built software for the Danish public and healthcare sector, including the Danish Medicines Agency's Dynamics CRM platform and an integration to the European Medicines Agency's database, and earlier the national pandemic-response apps (Coronapas and Smittestop).
- Aalborg University (2015–2020) — research in formal verification (weighted transition systems, model checking under uncertainty), plus teaching and student supervision.
C# / .NET · gRPC · Docker · Kubernetes / GKE · Azure DevOps · SQL & NoSQL · Python · Linux
- doktorhansen.dev — my personal site: an ASP.NET Core app with Google OIDC sign-in, role-aware navigation, and a full test suite, self-hosted on a k3s cluster (Raspberry Pi) with a CI/CD pipeline. Built end to end, operations included.
- Model checking constrained Markov reward models with uncertainties — QEST 2019
- A complete approximation theory for weighted transition systems — SETTA 2016
- Reasoning about bounds in weighted transition systems — Logical Methods in Computer Science