Ivan is currently working to improve device drivers on seL4.
| Email: | i.velickovic@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Current |
 
|
  |
Gernot Heiser, Lucy Parker, Ivan Velickovic, Peter Chubb and Ben Leslie Can we put the "S" into IoT? IEEE World Forum on Internet of Things, Yokohama, JP, November, 2022 |