Ethan Lam
Student Intern
Research Interests
Ethan is working on implementing choice trees in HOL4.
Contact Details
| Mobile: | +61 403 065 030 |
|---|---|
| Email: | ethan.lam1@student.unsw.edu.au |
More contact information is available at the Contact page.
Projects
Current |