Jared Roesch
Distinguished Engineer at Rust Developer
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolJared Roesch is a Distinguished Engineer at NVIDIA with 14 years of experience building compilers, runtimes, and tooling for AI systems, having joined via the OctoAI acquisition. As co-founder and former CTO of OctoAI (formerly OctoML) he led product and engineering through a successful exit while shipping LLM serving engines and AI APIs. A long-time contributor and PMC member of Apache TVM, he helped design the Relay IR and was one of the project’s top contributors, shaping a widely used deep learning compiler stack. His background spans programming languages and verification—early contributions to Lean and F* and a PhD from the University of Washington inform his work on robust, formally-minded systems. He also has compiler and language credentials from contributing to rustc and OpenSSL Rust bindings, reflecting deep expertise in type systems, code generation, and low-level memory management. Jared combines academic rigor with product-building instincts, turning PL and research insights into production-grade ML infrastructure.
14 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science & Engineering, Doctor of Philosophy (Ph.D.) Computer Science & Engineering at University of WashingtonNewbury Park High SchoolMaster of Science (M.S.) Computer Science, Master of Science (M.S.) Computer Science at UC Santa Barbara
English
Github Skills (25)
programming-language10
c-language10
dependent-types10
compiler-development10
testing10
fstar10
fs10
f10
openssl10
theorem-proving10
error-handling10
rust10
cprogramming-language10
leanback10
build-system9
Programming languages (18)
Github contributions (5)
apache/tvm
Jun 2018 - Nov 2021
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Role in this project:
Back-end Developer
Back-end DeveloperContributions:354 reviews, 81 commits, 336 PRs in 3 years 5 months
Contributions summary:Jared's commits indicate contributions to the core compiler stack, specifically within the Relay IR. They added dependencies for Relay, fixed template instantiation issues within TypedPackedFunc, and contributed significantly to the development of the Relay IR - Relay project (which appears to be a core part of the system). Their work involved type inference, code generation, and low-level memory management.
metalvulkancompilertensoropencl
FStarLang/FStar
Mar 2017 - Oct 2017
A Proof-oriented Programming Language
Role in this project:Back-end Developer
Back-end DeveloperContributions:78 commits, 5 PRs, 47 pushes in 6 months
Contributions summary:Jared contributed to the F* language project by adding and modifying attributes and flags related to code extraction, particularly for the Kremlin backend. They introduced a `gc` attribute, translated flags in Kremlin extraction, and refactored attributes into meta and metadata. Their work primarily involved modifying extraction-related files and syntax definitions, focusing on the backend code generation process.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
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.