Skip to content
Snippets Groups Projects
Commit 2600a1da authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2020-10-01-rao.md

parent f3b6242a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2020-10-01-rao.md
+ 2
− 2
View file @ 2600a1da
---
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.
\ No newline at end of file
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.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment