Kurt Wu
Masters Student
Research Interests
Kurt is working on verification of sDDF components under weak memory models. He is interested in parallel computing, system semantics and formal verification.
Contact Details
| Email: | rihui.wu@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
