Skip to main content

Louis Cheung
Research Assistant; UNSW

Research Interests

Louis is working on Cogent. Louis worked on verifying the functional correctness of the word array ADT for Cogent. Louis is interested in formal verification especially in the development of tools to aid in formal verification.

Contact Details

Email:Louis.Cheung@data61.csiro.au

More contact information is available at the Contact page.

Projects

Current

Served by Apache on Linux on seL4.