User Jasper Hugunin - Theoretical Computer Science Stack Exchange

Jasper Hugunin

256

reputation

2

4

Seattle, WA, United States
Member since September 26 2020
23 profile views
Last seen Mar 29 '24 at 22:19

Particularly interested in proof theory and formal verification.