Commit 1308cdd2 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2020-10-01-rao.md

parent d9dce24e
Pipeline #162053 passed with stages
in 3 minutes and 37 seconds
--- ---
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. 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
Markdown is supported
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