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

Add new file

parent 1610d654
No related branches found
No related tags found
No related merge requests found
---
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
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