Trustworthy Systems

Andy Bui
Research Assistant

Research Interests

Andy is working out how to make the FPU an seL4 kernel object, so it can better be managed.

Contact Details

Email:baodu.bui@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Andy Bui