Example Talk

Image credit: Unsplash


Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellusac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum. Sed ac faucibus dolor, scelerisque sollicitudin nisi. Cras purus urna, suscipit quis sapien eu, pulvinar tempor diam.

Jun 1, 2030 1:00 PM — 3:00 PM
Wowchemy HQ
450 Serra Mall, Stanford, CA 94305
Click on the Slides button above to view the built-in slides feature.

Slides can be added in a few ways:

  • Create slides using Wowchemy’s Slides feature and link using slides parameter in the front matter of the talk file
  • Upload an existing slide deck to static/ and link using url_slides parameter in the front matter of the talk file
  • Embed your slides (e.g. Google Slides) or presentation video on this page using shortcodes.

Further event details, including page elements such as image galleries, can be added to the body of this page.

Andrés Goens
Andrés Goens
Universitair Docent (Assistant Professor)

My primary research 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.