Trustworthy Systems

Charran Kethees
Student Intern

Research Interests

Charran is working on the development and verification of Hoare Logic over interaction trees.

Contact Details

Email:c.kethees@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Charran Kethees

Projects

Current