Alex Brown
Research Assistant

Research Interests

Alex is investigating virtIO interfaces on top of the Lions OS

Email:	alex.brown@unsw.edu.au

More contact information is available at the Contact page.

Gernot Heiser, Peter Chubb, Alex Brown, Courtney Darville and Lucy Parker
sDDF design: design, implementation and evaluation of the seL4 device driver framework
https://trustworthy.systems/publications/papers/Heiser_CBDP_24.pdf, 2024