I’m a PhD candidate in Computer Science at Cornell University. I’m interested in programming languages as a medium for human thought, expression and interaction with computational systems. My work applies ideas and tools from programming languages to software-defined networks, optical networks and legal reasoning.