I am a PhD student in Computer Science at the University of Maryland, advised by Leonidas Lampropoulos. I am a member of the PLUM lab.
I do research in the field of programming languages, with a focus on dependent type theory and applications of type theory to correct software development.
Publications
Merging Inductive Relations
Jacob Prinz and Leonidas Lampropoulos.
PLDI 2023 .
Preprint
Deeper Shallow Embeddings Jacob Prinz and Alex Kavvos and Leonidas Lampropoulos. ITP 2022 LINK
Ongoing Projects
I am working on structure editors with fellow PLUM PhD student Henry Blanchette. We presented our structure editor zypr at NJPLS@UMD.
Email: jprinz [at] umd [dot] edu
Thanks to Sankha for letting me copy his website.