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 in treating programming languages as human interfaces, and relatedly, in leveraging computers to help people think easily about hard problems.

I'm currently working on a radically new approach to information flow control that's easier to use while retaining reasoning power. Beyond this, I'm broadly investigating notions of usability for type systems that can capture both intensional (behavioral) and extensional (input/output) properties of programs.

I use they/them or he/him pronouns.

You can reach me at hsgouni@cs.cmu.edu.