Trustworthy Systems

Ken Li
Student Intern

Research Interests

Ken is working on evaluating Pancake by implementing device drivers on top of seL4.

Contact Details

Email:ziyuan.li1@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Ken Li

Projects

Past