Cheng Li
Research Assistant
Research Interests
Cheng is working on adding persistence to seL4 components. This involves implementing filesystems and block device drivers on top of LionsOS.
Contact Details
| Email: | cheng.li10@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |