Wait to be discovered.
Dream to find rigorousness and meaning in the messy world. Interested in applied formal methods, especially for cryptography.
-
Tsinghua University
- Beijing, China
Block or Report
Block or report namasikanam
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEarned achievements
Starstruck
x2
Starstruck
x2
Loading
Pull Shark
x2
Pull Shark
x2
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading