Trustworthy Systems

Kurt Wu
Masters Student

Research Interests

Kurt is working on verification of sDDF components under weak memory models. He is interested in parallel computing and formal verification.

Contact Details

Email:rihui.wu@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Kurt Wu