Trustworthy Systems

Xianghao Wang
Student Intern

Research Interests

Xianghao is working on POSIX-style interfaces to seL4 I/O system

Contact Details

Email:xianghao.wang@anu.edu.au
Web:https://github.com/xianghao-wang

More contact information is available at the Contact page.

Photo of Xianghao Wang