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 MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany