Grant Jurgensen
Computer Scientist at Kestrel Institute
Leawood, Kansas, United States
Summary
👤
Senior🎓
Top SchoolGrant Jurgensen is a computer scientist and software engineer with 10 years of experience specializing in formal verification, theorem proving, and type theory. He currently applies his expertise at Kestrel Institute and Kestrel Technology LLC, focusing on ACL2-based verification of trusted software. With an MS (3.97) and BS (3.94) from the University of Kansas, his background blends rigorous academic research—conducted as a graduate research assistant in system-level trusted software—with practical engineering. Grant has taught digital logic as an undergraduate teaching fellow, showing an ability to communicate complex concepts to learners. Colleagues describe him as methodical and detail-oriented, equally comfortable crafting formal proofs as implementing dependable systems. Based in Leawood, Kansas, he brings a rare combination of deep formal-methods knowledge and hands-on verification experience to industrial software challenges.
10 years of coding experience
3 years of employment as a software developer
University of Kansas
Stackoverflow
170reputation
612reached
2answers
3questions
Github Skills (61)
dependent-types10
executable10
rewriting10
proofs10
sml10
mathematical10
sat-solver10
formal-verification10
coq10
common-lisp10
sat10
theorem-proving10
first-order-logic10
logic10
modular9
Programming languages (10)
Github contributions (5)
gjurgensen/acl2
Jun 2022 - Jan 2025
ACL2 System and Books as Maintained by the Community
Contributions:102 pushes, 8 branches in 2 years 7 months
acl2citrixlists
gjurgensen/GABS
Jul 2020 - Feb 2025
Contributions:9 pushes, 2 branches in 4 years 8 months
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.