The University of New South Wales

Andy Bui
Summer Student

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