I am a second-year master's student at Indiana University studying computer science. My research is centered around computation, logic, mathematics, and language. In particular, I'm currently interested in problems associated with the semantics of programming languages (classical and quantum) and the intersection of category theory and programming (style and technique). I am also interested in cinematic art forms, weird music and walking. If you want to connect, mail me here.