From 9d8fa4bcdb7d1cbd886fd036cbc89bebe8d0de7f Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 26 Oct 2020 19:43:28 +0000
Subject: [PATCH] Update rao.md

---
 _people/rao.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/_people/rao.md b/_people/rao.md
index 32721df..9229a2a 100644
--- a/_people/rao.md
+++ b/_people/rao.md
@@ -9,4 +9,6 @@ alumnus: false
 projects:
   - gillian
   - sl
----
\ No newline at end of file
+---
+
+Xiaojia studied for his BA and MMath degree at the University of Cambridge and then moved to Imperial College London in 2020 to join the MSc in Advanced Computing. His Master's thesis was on a verified model of WebAssembly in Coq called WasmCert-Coq. He plans to expand this work, and also explore the Iris framework and [Gillian](https://vtss.doc.ic.ac.uk/research/gillian.html) in his future research.
\ No newline at end of file
-- 
GitLab