Andrés Goens
Assistant Professor (W2-TT) at Technische Universität Darmstadt
Hesse, Germany
Summary
🤩
Rockstar🎓
Top SchoolAndrés Goens is an assistant professor and researcher with 14 years of experience at the intersection of programming languages, compilers, and concurrent execution on heterogeneous multicore systems. His work combines formal models, theorem proving, and type theory to design abstractions that make both programmers and compilers reason reliably about performance and correctness, spanning applications from hardware design to pure mathematics. He has transitioned academic roles across leading European institutions—TU Darmstadt, University of Amsterdam, and the University of Edinburgh—bringing a strong theoretical foundation (Dr. rer. nat., summa cum laude) and hands-on systems research. Unusually for a PL researcher, he also explores machine learning approaches for compilers, blending formal methods with empirical optimization techniques.
14 years of coding experience
17 years of employment as a software developer
Doctor rerum naturalium (Dr. rer. nat.), Computer Science, summa cum laude, Doctor rerum naturalium (Dr. rer. nat.), Computer Science, summa cum laude at Technische Universität DresdenMaster's Degree, Mathematics, Master's Degree, Mathematics at RWTH Aachen UniversityDeutsche Schule San Salvador
Spanish, English, German, French, Russian, Italian
Github Skills (86)
timing10
math-library10
polyglot10
interval-arithmetic9
concurrency9
intervals9
flint9
concurrent-programming8
programming-language8
number-theory8
ranking8
pytorch-lightning8
polynomials8
heterogeneous8
bash7
Programming languages (14)
Github contributions (5)
opencompl/egg-tactic-code
Feb 2022 - Jan 2023
Contributions:80 commits, 43 pushes, 4 branches in 11 months
goens/lost-pop-lean
Feb 2023 - May 2026
POP Memory Model in Lean
Contributions:31 pushes, 5 branches in 3 years 2 months
memory-modelheterogeneouslean4memory-modelsweak-memory-models
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.