Kenneth Jørgensen
Lead Software Engineer at CEDAR
Aalborg, North Denmark Region
Summary
👤
Senior🎓
Top SchoolKenneth Jørgensen is a Lead Software Engineer with 14 years of experience blending formal verification research and practical IT architecture to deliver reliable, maintainable systems. He moved from PhD research in real-time model checking and co-founding the TAPAAL verification tool to leading client and platform engineering at Aalborg University and now drives smart heat-pump control at CEDAR. Comfortable across system administration, SCCM-based client management, and full-stack development, he pairs hands-on implementation skills with IT leadership and organizational design. He has a track record of building tooling and knowledge systems that empower first-line support and streamline cross-team collaboration using Kanban and KCS-inspired practices. Active in open-source and community projects (CEDARDK, TAPAAL, f-klubben), he brings an uncommon blend of formal methods expertise and product-minded engineering to practical energy and infrastructure problems.
14 years of coding experience
17 years of employment as a software developer
MSc, Computer Science, MSc, Computer Science at Aalborg UniversityMathematical Student, Mathematical Student at Frederikshavn GymnasiumJerup Skole
Danish, English
Stackoverflow
129reputation
53kreached
5answers
0questions
Github Skills (55)
reachability10
launchpad10
uppaal10
xml10
real-time-systems9
weighted9
dbm9
automata9
parser8
timed8
python8
gleam8
semantics8
closed7
verification7
Programming languages (15)
Github contributions (5)
TAPAAL/TAPAAL
Mar 2019 - Nov 2021
Contributions:7 commits, 7 pushes, 3 branches in 2 years 8 months
yrke/actions-play
May 2021 - Aug 2022
Github Actions Playground and Testing
Contributions:1 release, 8 PRs, 27 pushes in 1 year 3 months
testingplayground
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.