I'm a software developer, with experience developing for and debugging the Linux kernel, adding device support, writing drivers, and board bringup, mainly on ARM platforms. I've worked on projects ranging from professional realtime audio, build systems, automotive entertainment, image processing, analysis of the Linux scheduler, and debugging virtual memory bugs in medical devices. Aside from software I develop analogue and digital electronic hardware, and more recently have found a passion for higher level statically verified languages with modern type systems, such as Rust.

Languages

Rust, C, Scheme, Nim, Python, Bash, Awk, Nix