Abel Nieto
Compiler Engineer at NVIDIA
Waterloo, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolAbel Nieto is a compiler engineer with 11 years of experience building production compilers, static analyzers, and distributed systems, currently working at NVIDIA after a recent role at Groq. He combines industry experience at Google (mobile and Cloud Build), Groq (PyTorch-to-GTen transpiler and LLM compilation orchestration), and Synopsys with deep academic research—a PhD fellow who formalized CRDT verification in Coq. Abel has contributed to the Scala 3 compiler (Dotty), implemented explicit nulls in Scala 3, and worked on polymorphic/existential types for Microsoft’s CheckedC, demonstrating cross-language compiler expertise. He pairs practical engineering (parallel build orchestration, fuzzing, whole-program conv. optimizations) with formal methods, making correctness a first-class concern in high-performance toolchains. A former IOI silver medalist, he brings competitive algorithmic rigor to systems and compiler design. Based in Waterloo, Ontario, he prefers solving hard problems at the intersection of verification, performance, and language tooling.
11 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 Aarhus UniversityMaster of Science - MS Computer Science, Master of Science - MS Computer Science at University of Waterloo
Github Skills (12)
compiler10
type-system10
dotty10
programming-language10
compiler-compiler10
language-design10
scala10
data-structure9
data-structures9
algorithms8
java7
javas7
Programming languages (10)
Github contributions (5)
scala/scala3
Mar 2017 - Dec 2019
The Scala 3 compiler, also known as Dotty.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 31 commits, 31 PRs in 2 years 9 months
Contributions summary:Abel primarily contributed to the Scala 3 compiler, focusing on bug fixes, improvements, and refactoring within the codebase. Their work included addressing issues in type checking, error message formatting, and handling of infix type operators in the REPL. Additionally, the user made changes related to eliminating Java package references and refining the handling of recursive and vararg types within the compiler's transformations. Furthermore, the user implemented Ycheck improvements.
compilerdottyscalascala3epfl
abeln/dotty
Aug 2018 - Nov 2019
Scala with explicit nulls
Contributions:513 commits, 12 PRs, 437 pushes in 1 year 3 months
scala
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.