About

I am a third year Ph.D. candidate 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. During my undergad, I had the pleasure to spend a semester at the Max Planck Institute for Software Systems in Germany working with Dr. Bjoern Brandenburg on a theory-oriented real-time operating system (TOROS).

Primary Research Interests:

News

Publications

Teaching

Contact

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