A homepage of lambdas,
computer science, drumming, and related interesting things
Welcome, all! To my corner of the web. On my website, you will find various documents relating to math, computer science, and any other things I find interesting. I'm a PhD student at the University of Maryland, College Park, and I work with the PLUM people. My broad interest is programming languages, specifically how we can reason about programs to ensure or optimize properties of systems.
Love the lambda,
Generated with Hakyll