Trustworthy Systems

Ivan Velickovic
Research Assistant

Research Interests

Ivan is currently working to improve device drivers on seL4.

Contact Details

Email:i.velickovic@unsw.edu.au

More contact information is available at the Contact page.

Photo of Ivan Velickovic

Projects

Current