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.
13 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 (104)
timing10
in-progress10
computer-algebra-system10
uid10
interval-arithmetic10
mathematics10
polyglot10
dependent-types9
multicore9
homotopy-type-theory9
agda9
concurrency9
intervals9
computer-algebra9
math9
Programming languages (13)
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 - Mar 2025
Contributions:28 pushes, 5 branches in 2 years 1 month
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.