Chris Tetreault
Senior Software Engineer at NVIDIA
California, United States
Summary
🤩
Rockstar🎓
Top SchoolChris Tetreault is a Senior Software Engineer based in California with 11 years of professional experience building high-performance systems from compiler backends to real-time 3D rendering engines. He blends a rare depth across the stack—from low-level C and C++ to Haskell research—shaped by roles as user, administrator, tester and developer, which informs a pragmatic focus on quality and minimal user friction. At NVIDIA and previously Qualcomm he worked on compiler and architecture-level features (including ARM SVE support) and contributed upstream to LLVM, while earlier roles delivered tooling and image-based test frameworks for HERE’s navigation stack. Comfortable in both research and production environments, he has designed concurrent constraint-solving infrastructure for Liquid Haskell and driven performance regression investigations in complex codebases. Beyond code, he values software that “requires no interaction,” favoring automation and robustness borne from operational experience. He’s the kind of engineer who pairs systems-level rigor with curiosity—always learning new languages and surprising capabilities.
11 years of coding experience
12 years of employment as a software developer
University of California San DiegoComputer Science, Computer Science at National University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (40)
refinement-types10
verification10
constraint10
liquid10
clause10
haskell10
smt10
horn9
commodore8
c648
nim-lang8
retrocomputing7
api7
65027
cpp7
Programming languages (7)
Github contributions (5)
christetreault/dmp-c-corelib
May 2018 - Jul 2020
Contributions:11 pushes, 1 branch in 2 years 2 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.