Formal verification and programming languages researcher.
- New York City
- http://joomy.korkutblech.com
- @joomy
Highlights
- Pro
Block or Report
Block or report joom
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEarned achievements
Quickdraw
Quickdraw
Loading
Starstruck
x2
Starstruck
x2
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2
Loading