Connor Baker

Senior System Software Engineer at NVIDIA

Long Beach, California, United States
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

🤩
Rockstar
🎓
Top School
Connor Baker is a NixOS software engineer with 12 years of experience, currently maintaining the Nixpkgs CUDA ecosystem at Anduril Industries. He specializes in integrating CUDA into Nix/NixOS, and his work underpins many users’ GPU workflows in the Nix community. Previously a Nix engineer and data engineer at Modus Create and Tweag, he brings production experience across data pipelines, embedded/cyber projects, and software engineering at Raytheon. Connor pairs practical engineering with deep academic interests—formal methods, Haskell, Lean, and category theory—which inform his careful, correctness-minded approach to package and systems maintenance. Based in Costa Mesa, CA, he also has a background tutoring advanced mathematics, reflecting strong foundations in both theory and applied engineering.
code12 years of coding experience
job5 years of employment as a software developer
bookAssociates of Science, Mathematics and Computer Science, Associates of Science, Mathematics and Computer Science at Northern Virginia Community College
bookBachelor's degree, Computer Science, Bachelor's degree, Computer Science at George Mason University
github-logo-circle

Github Skills (200)

hunit10
multithreading10
testing10
linter10
cuda-toolkit10
computer-vision10
nvidia-jetson10
nixpkgs10
unit-testing10
opencv10
nix10
python10
bash10
gpu-acceleration10
haskell10

Programming languages (19)

JavaC++LeanMojoCRustMakefileGo

Github contributions (5)

github-logo-circle
GitHub action which takes JSON output by tasty-json and produces a markdown table with the results of the tests
Contributions:9 releases, 17 commits, 11 PRs in 1 month
markdown
ConnorBaker/nixos-configs

Jun 2023 - Mar 2026

Contributions:361 pushes in 2 years 9 months
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