Michael He
Honours Thesis Student
Research Interests
Michael is working on adding PD Templates to the seL4 Microkit.
Contact Details
| Email: | michael.he@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Michael is working on adding PD Templates to the seL4 Microkit.
| Email: | michael.he@unsw.edu.au |
|---|
More contact information is available at the Contact page.