Mathematical logic, software safety, static typing down under. Worked on seL4.
Block or Report
Block or report zaklogician
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEarned achievements
Starstruck
Starstruck
Loading
Pull Shark
Pull Shark
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading