Stefan Heule
Software Engineer at Cursor
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolStefan Heule is a software engineer with 14 years of experience blending research-grade rigor and startup execution, currently building at Cursor in Seattle. He has held engineering roles at Google and Uber, co-founded and served as CTO of Nexus, and brings a strong academic foundation with a PhD from Stanford and degrees from ETH Zürich. His work spans static analysis and tooling—he’s contributed to the widely used Checker Framework for Java, improving error-report visualization and robustness of regex checking—alongside production backend engineering. Stefan’s background in programming languages research and practical system shipping lets him move fluidly between deep technical design and delivering customer-facing products.
14 years of coding experience
6 years of employment as a software developer
Visiting Master Student, Computer Science, Visiting Master Student, Computer Science at University of WashingtonMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at ETH ZürichDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Stanford University
Github Skills (8)
type-system10
javas10
typescript10
typesc10
verification10
static-analysis10
java10
test-automation9
Programming languages (12)
Github contributions (5)
typetools/checker-framework
Feb 2012 - Apr 2016
Pluggable type-checking for Java
Role in this project:
Back-end Developer
Back-end DeveloperContributions:19 commits, 5 pushes, 8 comments in 4 years 3 months
Contributions summary:Stefan contributed to the Checker Framework, a tool for static analysis of Java code. Their work focused on improving the visualization of stack traces for error reporting and adding a batch script for launching binaries compiled by Eclipse. Additionally, the user made updates to the RegexChecker, fixing bugs, and adding test cases to improve the framework's capabilities.
checkingverificationtype-checkingpluggablejava
Samsung/mimic
Jul 2014 - Dec 2016
Synthesizer for JavaScript API models
Contributions:409 commits, 1 PR, 90 pushes in 2 years 4 months
apisynthesizerjavascriptaudiojavascript-api
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.