George Stelle
Senior Software Engineer at NVIDIA
Los Alamos, New Mexico, United States
Summary
👤
Senior🎓
Top SchoolGeorge Stelle is a Senior Software Engineer with 13 years of experience bridging research and production, currently focused on compilers and ML infrastructure at NVIDIA after a decade of scientific work at Los Alamos National Laboratory. He holds a PhD in Computer Science from the University of New Mexico and brings deep expertise in programming languages, formal verification, and compiler design. His work blends theoretical interests—type theory and number theory—with practical system-building, producing robust, verifiable software for high-performance computing environments. George has a short tenure building specialized compiler tech at Groq, reflecting a knack for rapid impact on cutting-edge ML hardware stacks. Colleagues know him for combining rigorous academic thinking with pragmatic engineering to move complex proofs and models into deployable systems. Based in Los Alamos, he pairs curiosity-driven research instincts with hands-on delivery at the intersection of compilers and machine learning.
13 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at The University of New MexicoBachelor of Science - BS Cognitive Systems, Bachelor of Science - BS Cognitive Systems at The University of British Columbia
Github Skills (100)
parallelization10
tapir10
cilk10
rust9
wolfram-language9
cilkplus9
mathematical9
abstraction9
parallel-computing9
parallel-processing8
proofs8
coq8
cluster-computing8
parallel-execution8
dependent-types8
Programming languages (11)
Github contributions (5)
stelleg/llvm-project
May 2019 - Nov 2024
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Contributions:53 pushes, 25 branches in 5 years 6 months
subversionclanglibgit2submitgit-mirror
stelleg/tapir-hs
Oct 2018 - Oct 2023
Contributions:1 push, 3 branches in 5 years
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.