Hugh D. Potter, Ph.D.

November 18, 2022

Hugh successfully defended his thesis, "Programs and Proofs: A Molecular Toolchain" (supervised by co-PIs J. Lathrop and J. Lutz).

Much of the material on these web pages is based on research supported by National Science Foundation Grants 1143830, 1247051, 1545028, and 1900716. Any opinions, findings, conclusions, or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.