From 1308cdd2117e22d9be5fa748ede860aef14ba2cc Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 5 Nov 2020 12:59:04 +0000 Subject: [PATCH] Update 2020-10-01-rao.md --- _posts/2020-10-01-rao.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_posts/2020-10-01-rao.md b/_posts/2020-10-01-rao.md index adf1a40..bdd6355 100644 --- a/_posts/2020-10-01-rao.md +++ b/_posts/2020-10-01-rao.md @@ -1,6 +1,6 @@ --- -title: Welcome to Xiaojia Rao, new PhD student with the group. +title: Welcome to Xiaojia Rao, new PhD student with the group --- A very warm welcome to Xiaojia Rao who has just joined the group as a PhD student. -Xiaojia completed his BA and Math degree at the University of Cambridge in 2019 and then moved to Imperial College to do an MSc in Advanced Computing. His Master’s thesis, supervised by Philippa, was on a verified model of WebAssembly in Coq called WasmCert-Coq. +Xiaojia completed his BA and Math degree at the University of Cambridge in 2019 and then moved to Imperial College to do an MSc in Advanced Computing. His Master’s thesis, supervised by Philippa, was on a verified model of WebAssembly in Coq called WasmCert-Coq. \ No newline at end of file -- GitLab