Lesley Rossouw
OS Engineer

Research Interests

Lesley works on sDDF/LionsOS drivers, and various networking, hardware and FPGA projects. 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

More contact information is available at the Contact page.

Jump to Publication List

Projects

Current

LionsOS
Device formalisation
Device Drivers

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

Trustworthy Systems

Lesley Rossouw OS Engineer