diff --git a/content/publications.md b/content/publications.md
index 9b5e023..eb8b695 100644
--- a/content/publications.md
+++ b/content/publications.md
@@ -44,6 +44,12 @@ Verification of Automatically Synthesized Cryptosystems ](/paper/2109.01)
 
 ## Presentations
 
+Efficient Parallel Verification of Natural Deduction Proof Graphs
+- Authors: James Oswald and *Brandon Rozek*
+- Venue: Rensselaer Computer Science Graduate Poster Session, April 2019.
+- [Poster](/files/research/PV-Poster.pdf) 
+
+
 QEP: The Quality Policy Evaluation Algorithm
 - Venue: Research and Creativity Day at University of Mary Washington, 2019.
 - [Program](/files/research/UMW-RC-2019.pdf#page=3) | [Slides](/files/research/QEP.pptx)
diff --git a/static/files/research/PV-Poster.pdf b/static/files/research/PV-Poster.pdf
new file mode 100644
index 0000000..23f3693
Binary files /dev/null and b/static/files/research/PV-Poster.pdf differ