Mingyuan Xu
Student Intern
Research Interests
Mingyuan is working on writing an IDL compiler for a general-purpose OS written with the seL4 microkernel.
Contact Details
| Email: | mingyuan.xu1@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
