About

I am a Ph.D. candidate in the Computer Science department at Cornell University advised by Prof. Justin Hsu. My current research focus is on automata-theoretic foundations for dynamic enforcement of hierarchical safety policies in microservices.

Currently, I am serving as a PLTea organizer and the Czar for the Cornell PL Discussion Group.

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 undergrad, 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).

Publications

Talks

News

Teaching

Contact

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