Projects

I have worked on topics in AI, programming/formal languages, and quantum computing.

Educational

[The Annotated Hamiltonian]: An introduction to analog quantum computing.

[The Annotated Qubit]: An introduction to quantum computing and information.

[The Annotated GP]: An introduction to Gaussian processes.

[PAPL]: An introductory course on programming and programming languages.

[FMS]: Formal models and semantics course in the Coq proof assistant.

Research

[SoftKI]: Scalable Gaussian Process for high-dimensional regression.

[MadGP]: AI surrogate models for modeling atomic potential energy surfaces.

[PusH]: Bayesian deep learning with concurrent GPU programming.

[Gamepad]: Theorem proving with neural networks.

[Augurv2]: A probabilistic programming language that compiles to GPUs.

[VSafecode]: Formal verification of SAFECode.