Grant Jurgensen
Computer Scientist at KestrelInstitute
Overland Park, Kansas, United States
Summary
👤
SeniorGrant Jurgensen is a computer scientist and software engineer who specializes in formal verification, with deep interests in functional programming, formal methods, theorem proving, and type theory. He currently applies these strengths at Kestrel Institute and Kestrel Technology LLC as a Computer Scientist, with active work in ACL2. With nine years of experience and a strong academic foundation from The University of Kansas (MS and BS in Computer Science, 3.97 and 3.94), he blends rigorous research with practical software delivery. His career includes graduate research at KU and teaching fellow roles, illustrating a track record of turning formal methods into reliable, verifiable systems. Based in Leawood, Kansas, he operates at the intersection of academia and engineering to advance dependable software.
9 years of coding experience
Stackoverflow
170reputation
612reached
2answers
3questions
Github Skills (65)
sml10
mathematical10
dependent-types10
proofs10
formal-verification10
coq10
first-order-logic10
logic10
executable10
sat-solver10
common-lisp10
theorem-proving10
rewriting10
sat10
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.