Lesley Rossouw

Operating System Engineer

Sydney, New South Wales, Australia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Lesley Rossouw is an operating system engineer based in Sydney with eight years of practical experience spanning OS research, hardware bring-up, and security-focused kernel work. Currently at UNSW's Computer Science and Engineering school, Lesley contributes to seL4 and LionsOS platform bring-up, RISC-V FPGA designs, device driver benchmarking, and PCB development for lab utilities. Their background includes a Secure Kernel Engineering internship at Apple and hands-on research into high-performance networking and hypervisor validation, blending academic rigor with industry security practices. Trained in computer engineering with honours in embedded systems and operating systems, Lesley bridges software and hardware domains—moving from low-level driver implementation to FPGA and APU design. Notably, they combine classroom teaching of advanced OS courses with practical maker-space skills, reflecting an ability to explain complex concepts while shipping reproducible systems. This mix of kernel-level security experience, hardware prototyping, and teaching makes them adept at turning research ideas into validated, deployable platforms.
code8 years of coding experience
bookUNSW Sydney
github-logo-circle

Github Skills (21)

core-platform9
microkernel9
sel49
operating-system8
kernel8
docstrings8
libc7
robotics7
idris7
arm6
toolchain6
microcontroller6
documentation5
lwip5
cms4

Programming languages (7)

C++ShellCRustGoLuaPython

Github contributions (5)

github-logo-circle
au-ts/ipbench

Feb 2023 - Feb 2025

A benchmark suite for repeatable and reliable testing of IP networks.
Contributions:8 PRs, 9 pushes, 2 branches in 1 year 11 months
bluesatunsw/groundstation

Feb 2022 - Dec 2024

Bluesat's autonomous, robotic groundstation project
Contributions:6 reviews, 17 PRs, 25 pushes in 2 years 9 months
roboticsautonomousgroundstation
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial