Andrés Goens

Andrés Goens is an Assistant Professor at the University of Amsterdam since 2023. He holds a Ph.D. (Dr.rer.nat.) in Computer Science from TU Dresden (2021) and an M.Sc. in Mathematics from RWTH Aachen University (2014). His research focuses on programming languages, formal methods, and theorem proving, with applications to compilers and heterogeneous systems. He investigates efficient execution of concurrent programs in multicore architectures and explores machine learning techniques for compiler optimization.

Key research areas include concurrency, weak memory models, and bridging abstract mathematics with practical compiler design. His work often employs theorem provers like Lean to formalize program behavior. Recent publications address e-graphs for variable handling, guided equality saturation, and optimizing virtual networks in distributed systems.

Publications span venues like PLDI, POPL, and ISCA, reflecting contributions to programming language theory and compiler infrastructure. His research bridges theoretical foundations with practical system design, aiming to improve both programmer productivity and computational efficiency.

Contact details: a.goens@uva.nl (professional) and andres@goens.org (personal).