I am a PhD student in the LAMP lab advised by Martin Odersky. My academic interests include programming languages, type systems and computer-aided design.