I’m a Post-doctoral Fellow at Harvard 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 and legal reasoning.