Mikkel Bundgaard is a software engineer and researcher with 14 years’ experience bridging academic research in programming languages and type systems with pragmatic software development for mobile and distributed systems. He holds a PhD-level background in formal semantics and higher-order process calculi and has translated that theory into practice through roles from PostDoc research to lead developer and current engineering work at Copenhagen Optimization. Mikkel contributes to well-known open-source projects like NUnit and to .NET samples, focusing on improving test infrastructure and documentation clarity—signals of a developer who values reliability and maintainability. He excels in high-level, object-oriented and functional programming, teaching and supervising, and has a track record of modernizing legacy systems and creating frameworks for service architectures. A detail-oriented problem solver, he often pairs formal reasoning about correctness with hands-on refactoring and automation to deliver robust distributed software.
14 years of coding experience
15 years of employment as a software developer
MSc, Computer Science, MSc, Computer Science at IT-Universitetet i København
B.Sc., Natural and Computer Science, B.Sc., Natural and Computer Science at Roskilde University
Mathematical general certificate, Mathematical general certificate at Falkonergårdens Gymnasium
Contributions:171 reviews, 198 commits, 197 PRs in 5 years 5 months
Contributions summary:Mikkel primarily contributed to the NUnit Framework, focusing on bug fixes and improvements to the testing infrastructure. They addressed issues related to test framework attributes and stack trace formatting. Additionally, they removed and refactored constraints, and added formatting support for new data types. Overall, the commits demonstrate a focus on maintaining and enhancing the core functionality and reliability of the testing framework.
Contributions summary:Mikkel primarily focused on modifying and updating code snippets within the .NET samples repository. Their commits involved correcting presentation, fixing formatting, and correcting code snippets to improve consistency and accuracy. The user's contributions also included renaming parameters and aligning comments, suggesting a focus on enhancing the clarity and readability of the sample code for documentation purposes.
dotnetfsharpvisual-basiccsharpdotnet-core
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Mikkel Bundgaard - Software Engineer at Copenhagen Optimization