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.
Projects
Current |