Trustworthy Systems

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.

Photo of Lesley Rossouw

Jump to Publication List

Projects

Current

Program Committees and Editorial Boards

seL4 Summit program committee

Recognition and Awards

First class honours

Publications

Trustworthy Systems Group Papers

2026

Abstract Slides
Video 		Lesley Rossouw
Simplifying Microkit system composition with Acacia
Talk at the 8th seL4 Summit, September, 2026
Abstract Slides
Video 		Lesley Rossouw
Performance analysis and modelling of Ethernet on LionsOS
Talk at the 8th seL4 Summit, September, 2026

2025

Abstract
Slides 		PDF 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), pp. 60–67, Seoul, Republic of Korea, October, 2025