There should be a picture of me here..

Daniel Schoepe

Email: daniel <at> schoepe <dot> org
PGP key ID: D74332EE6A596373

I'm an Applied Scientist working in the Amazon Prime Video Automated Reasoning team. My work is focused on proving properties of TypeScript programs using an in-house abstract interpretation framework written in Scala 3.

Aside from my day job, I'm interested in functional programming and I have worked extensively with both Haskell and Scala. I also enjoy working with interactive theorem provers and formalized some of my academic publications using Isabelle/HOL.

In my free time I used to contribute to xmonad and some other small projects.

In a previous life I was a PhD student at Chalmers University of Technology in Gothenburg, Sweden, working on language-based security and information-flow control.

Publications

2020

2019

2017

2016

2015

2014