Trustworthy Systems

James Archer
OS Engineer

Research Interests

James is working to improve the locking in multicore seL4.

Contact Details

Email:j.archer@unsw.edu.au

More contact information is available at the Contact page.

Photo of James Archer

Projects

Current