Block or Report
Block or report tanyongkiam
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Bernardo Subercaseaux
bsubercaseaux
PhD student at Carnegie Mellon University.
Carnegie Mellon University Pittsburgh, PA
James Gallicchio
JamesGallicchio
PhD student studying PL/FM.
I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
Carnegie Mellon Pittsburgh, PA
Chun Tian
binghe
Common Lisp programmer and HOL proof engineer
Australian National University Canberra, Australia
Catalin Hritcu
catalin-hritcu
Tenured Faculty at Max Planck Institute for Security and Privacy (MPI-SP)
MPI-SP Bochum, Germany