Trustworthy Systems

Lesley Rossouw
Research Assistant

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 is on studying driver dataflow dynamics in the sDDF.

Contact Details

Email:lesley.rossouw@unsw.edu.au
Web:https://github.com/omeh-a

More contact information is available at the Contact page.

Photo of Lesley Rossouw

Lesley is a research assistant and coursework student at TS. Lesley is interested in operating systems, security, computer hardware, embedded systems and networking.

Projects

Current

ipbench, Analysis of Linux network performance regression, sDDF / DPDK / other user-space driver framework benchmarking, seL4 Device Driver Framework, LionsOS, Microkit, seL4 kernel, device interface verification

Career Summary

Secure kernel engineering intern (Apple)

Qualifications

Bachelor's Degree in Computer Engineering (Honours), UNSW (graduating 2025)