diff --git a/_posts/2018-01-12-popl.md b/_posts/2018-01-12-popl.md
index 97f9bb8a0cc603c401fe12446a8933e2c553ff23..c4979ce3824d9ddc689c939fbbd5a1c61df29e22 100644
--- a/_posts/2018-01-12-popl.md
+++ b/_posts/2018-01-12-popl.md
@@ -2,7 +2,7 @@
 title: Paper presented at POPL18
 ---
 
-[José Fragoso Santos](https://psvg.doc.ic.ac.uk/people/fragoso-santos.html) prsented his paper 
+[José Fragoso Santos](https://psvg.doc.ic.ac.uk/people/fragoso-santos.html) presented his paper 
 [JaVerT: JavaScript Verification using Separation Logic](https://psvg.doc.ic.ac.uk/publications/FragosoSantos2018JaVerT.html), jointly authored 
 with [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/),
 [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/), at this year’s ACM SIGPLAN Symposium on Principles