Ken Larsen
Computer Scientist at Department of Computer Science, University of Copenhagen diku-dk
Copenhagen, Capital Region of Denmark
Summary
🤩
RockstarKen Larsen is a veteran computer scientist based in Copenhagen with 26 years of hands-on experience building and integrating complex back-end systems. He blends deep academic-style rigor with practical engineering, demonstrated by contributions to the canonical HOL4 theorem prover where he upgraded and re-integrated a core dependency across C headers, ML code and build tooling. Comfortable working at the intersection of formal methods and production engineering, he excels at modernizing legacy components while preserving correctness and regression safety. Known as a “Renaissance Computer Scientist” on GitHub, Ken brings a broad toolkit and a penchant for subtle, behind-the-scenes improvements that keep critical systems robust and maintainable.
26 years of coding experience
Danish, English, French
Github Skills (7)
theorem-proving10
lambda-calculus10
sml10
c119
makefile9
c179
dependency-management9
Programming languages (13)
Github contributions (5)
HOL-Theorem-Prover/HOL
Oct 2001 - Nov 2005
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:9 commits in 4 years 1 month
Contributions summary:Ken primarily focused on updating and modifying the "muddy" library within the HOL4 theorem prover. Their contributions included upgrading the "muddy" dependency to version 2.0, which involved changes in the `bdd.h` header file and other files related to the library's integration. They also made adjustments to accommodate the updated library and integrate it into the HOL4 system, including changes to makefiles and ML code.
pythonsatsat-solversourcesmerged
kfl/simpleparse
May 2014 - Jan 2017
Contributions:7 commits, 3 pushes, 1 comment in 2 years 8 months
parsingparser-combinatorcombinatorparser
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.