Assistant to the Proof Assistant

About Me

John holds a Ph.D in computer science from UCLA. His research focuses on programming languages and formal verification in the context of concurrency and weak memory models. He is also an experienced software developer with a history of involvement in a variety of different software projects like Vagrant and jQuery.

← Home