About

I am a second year Ph.D. student in the Computer Science department at Cornell University advised by Prof. Justin Hsu. My current research focus is to apply techniques from programming languages and formal methods to distributed and networked systems with a focus on security.

Previously, I worked on software-defined networking as a software engineer at Microsoft and prior to that, I was an undergraduate student at BITS Pilani, India.

Primary Research Interests:

News

Publications

Teaching

Contact

You can reach me at [(λx.x @ cs.cornell.edu) kgrewal] or tweet at karuna_grewal