Adam Stucci
Research Assistant
Research Interests
Adam is interested in formal verification and programming language theory. Adam is working on verifying components of the Pancake ecosystem.
Contact Details
| Email: | a.stucci@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |