gjurgensen

Follow

Grant Jurgensen gjurgensen

Follow

Computer Scientist at Kestrel Institute, interested in formal verification.

9 followers · 17 following

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Highlights

Pro

Organizations

Block or Report

Block or report gjurgensen

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

ku-sldg/CTL Public

Coq CTL model

Coq 2
Verif_BST Public

Verification of BST operations with Verifiable C

Coq 1
gab Public

Haskell
ku-sldg/am-cakeml Public

Delivery repo for the KU CakeML Attestation Manager

Standard ML 1
dunGen Public

Haskell 1

335 contributions in the last year

Learn how we count contributions

Activity overview

Contributed to gjurgensen/dotfiles, acl2/acl2, gjurgensen/gjurgensen.github.io and 3 other repositories

Contribution activity

March 2023

Created 22 commits in 2 repositories

15 contributions in private repositories Mar 27 – Mar 29