Hey, I'm Hemant! I'm an incoming PhD student at Carnegie Mellon University (S3D/SCS) studying the intersection of programming languages and software engineering. I'm especially interested in the consideration of programming languages as human interfaces. I'm currently working on a new approach to information flow control that takes advantage of several simplifying assumptions about real-world verification scenarios to reduce reasoning overhead.
I also occasionally play with radios! I'm a licensed amateur extra (callsign W1HSG). Weak signal modulation techniques are especially cool-- reach out to me if you'd like to work on a noise-resistant digital mode for VHF/UHF, but beware that I have no formal training here.
I use they/them or he/him pronouns.
You can reach me at [email protected].