Stack Overflow
Stack Overflow

Jasper Hugunin
486
reputation
2
8
  • Seattle, WA, United States
  • Member since August 02 2013
  • 24 profile views
  • Last seen Aug 16 '23 at 07:28

Particularly interested in proof theory and formal verification.