From cb4469e4f0b9fb60d4a36eae9b5cf005a0da067f Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 28 Oct 2020 08:51:55 +0000 Subject: [PATCH] Update rao.md --- _people/rao.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_people/rao.md b/_people/rao.md index 93c15aa..1e23c83 100644 --- a/_people/rao.md +++ b/_people/rao.md @@ -13,4 +13,4 @@ projects: Xiaojia is a PhD student at the Department of Computing at Imperial, under the supervision of Professor Philippa Gardner. -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 +Xiaojia studied for his BA and Math 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