Lesley Rossouw
OS Engineer
Research Interests
Lesley works on sDDF drivers, LionsOS, and various networking, hardware and FPGA projects (Serengeti). Currently responsible for the sDDF/LionsOS I2C protocol, drivers/hardware for the device interface formalism project, and various odd jobs around the hardware lab. Lesley's honours thesis was on studying driver dataflow dynamics in the sDDF.
Contact Details
| Email: | lesley.rossouw@unsw.edu.au |
|---|---|
| Mastodon: | @lesleyr@aus.social |
More contact information is available at the Contact page.
Projects
Current |
Program Committees and Editorial Boards
seL4 Summit program committee
Recognition and Awards
First class honours
Publications
Trustworthy Systems Group Papers
2025
 
|
 |
Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka and Gernot Heiser High-fidelity specification of real-world devices Workshop on Programming Languages and Operating Systems (PLOS), October, 2025 |