It looks like you're visiting with Chromium. Consider using small Firefox logo instead.

Why in general? Why now? I'm using Edge, Brave, etc. Why am I getting this?

Hemant Sai Gouni

An image of me, playing with a cat!

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!