Andre Kuhlenschmidt
Compiler Engineer at NVIDIA
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolAndre Kuhlenschmidt is a compiler engineer with 11 years of experience building programming languages, ahead-of-time compilers, and developer tooling that scale human productivity. He has designed language and compiler infrastructure at Meta and now at NVIDIA, leveraging LLVM and research-driven techniques to deliver efficient runtime and memory performance. At Semgrep he built static analysis and code search capabilities for security-focused query engines, and as a Meta PhD intern contributed to Facebook/Flow by improving type suggestions and IDE integration. His academic work at Indiana University blended static and dynamic typing with low-overhead runtime checks, reflecting a rare mix of production systems experience and principled research. Curious and practical, he’s skilled at adapting cutting-edge research into constraints of real-world systems and is looking to deepen expertise in software verification and static analysis. Outside of work he’s an adventurer—learning to sail and ski—bringing the same experimental spirit to engineering and exploration.
11 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy (Ph.D.) ABD, Computer Science, Doctor of Philosophy (Ph.D.) ABD, Computer Science at Indiana University BloomingtonBachelor's degree, Entrepreneurship/Entrepreneurial Studies, Bachelor's degree, Entrepreneurship/Entrepreneurial Studies at Indiana University - Kelley School of Business
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
flowtype10
type-system10
work-flow10
javascript10
type-inference10
flow-control10
control-flow10
parsing8
text-parsing8
Programming languages (14)
Github contributions (5)
facebook/flow
May 2019 - Aug 2019
Adds static typing to JavaScript to improve developer productivity and code quality.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:29 commits in 2 months
Contributions summary:Andre focused on enhancing the type-checking capabilities of the `facebook/flow` repository, which adds static typing to JavaScript. Their contributions primarily involved modifying the code to handle different types and improve the accuracy of type suggestions. The user specifically addressed recursion in Union types and implemented changes to the suggestion system to reflect empty return types correctly. These changes improve the developer experience and the accuracy of type inference in Flow.
static-typingproductivityjavascriptdeveloper-productivitydataflow-programming
akuhlens/Grift
Jan 2020 - Sep 2021
A compiler for the gradually typed lambda calculus
Contributions:73 pushes, 12 branches in 1 year 8 months
calculustyped-lambda-calculuslambda-calculuscompilertyped
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.