I'm a first-year PL/SE PhD student at Carnegie Mellon University, advised by Jonathan Aldrich. My interests lie at the intersection of type systems and human-computer interaction.
I'm currently working on a radically new approach to information flow control that addresses several long-standing usability issues while retaining reasoning power. Beyond this, I'm broadly investigating leveraging type systems for program visualizations, especially for teaching computer science.
I graduated from the University of Minnesota in 2023 with a BS in Computer Science and Linguistics. I use they/them or he/him pronouns. If you think my work is cool, don't hesitate to email me at hsgouni@cs.cmu.edu!