I am a functional programming and type theory enthusiast studying at the University of Waterloo. I have interned at a few bay area tech companies including Lime and Apple. During two of my internships, I was part of the core team leading the migration of our Android apps from Java to Kotlin with a reactive architecture.