Résumé · Contact Me

• Ph.D. in Computer Science, Carnegie Mellon University, 2018—
• B.A. in Mathematics & Computer Science, Cornell University, 2015—2018
• Jefferson Diploma, Thomas Jefferson HSST, 2011—2015

I work with Frank Pfenning on aspects of concurrent type theory.