diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md
new file mode 100644
index 0000000000000000000000000000000000000000..ee2a07bb4a4de75f76e15450bb7b7d8e89235641
--- /dev/null
+++ b/_posts/2020-01-22-hase.md
@@ -0,0 +1,18 @@
+
+---
+title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL 2020
+---
+
+Philippa was one of the speakers at the [Interactive Knowledge 
+Shares session](https://popl20.sigplan.org/details/hase-2020-papers/2/Interactive-Knowledge-Shares) 
+of this year’s [HASE, the Workshop on High Assurance Systems Engineering]( https://popl20.sigplan.org/home/hase-2020)
+
+HASE aims to forge new collaborations and initiatives which strive to provide 
+high levels of assurance about the correct operation and security properties 
+of production systems (software and hardware), part of [POPL20](https://popl20.sigplan.org)
+
+Philippa presented Gillian, a language independent framework that supports 
+compositional symbolic analysis. Gillian supports three flavours of analysis: 
+whole-program symbolic testing, full verification, and bi-abduction. It comes with 
+fully parametric meta-theoretical results and a modular implementation, designed 
+to minimise the instantiation effort required of the user. 
\ No newline at end of file