Kurt Wu
PhD Student
Research Interests
Kurt is working on verification of sDDF components under weak memory models. He is interested in formal verification and parallel computing.
Contact Details
| Email: | rihui.wu@unsw.edu.au |
|---|---|
| GitHub: | KurtWu10 |
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2026
|
 |
Samuel Tyler, Alessandro Legnani, Junming Zhao, Zhewen Shen, Rihui Wu, Miki Tanaka and Gernot Heiser SMT-based deductive verification of device drivers using the Pancake-to-Viper transpiler Workshop on Programming Languages and Operating Systems (PLOS), 2026 |