Roger Su
Senior Research Associate
Research Interests
Roger is interested in formal verification, and theoretical computer science in general. Roger currently works on the PISTIs-V project, in particular on the reasoning framework of real-time properties of seL4's scheduler.
Contact Details
| Email: | roger.su@unsw.edu.au |
|---|---|
| Web: | https:/ |
More contact information is available at the Contact page.
