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

Update rao.md

parent da1549c4
No related branches found
No related tags found
No related merge requests found
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment