If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

My primary interest is in the intersection of programming languages and compilers. Much of my work has focused on using models of computation to reason about an efficient execution of concurrent programs in heterogeneous multicore systems. An overarching goal of my research is to find the right abstractions that help both programmers and compilers reason about the program and its execution.  I am interested in using theorem proving software and type theory to help bridge this gap, be it for hardware development or pure mathematics. From the other side, I am also interested in machine learning on compilers and programming languages.


BSc in Physics, RWTH Aachen University, 2012
BSc in Mathematics, RWTH Aachen University, 2012
MSc in Mathematics, RWTH Aachen University, 2014
PhD in Computer Science, TU Dresden, 2021


Dive into the research topics where Andres Goens is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or