Biography
I am a lecturer in Cornell's computer science department.
I'm interested in the process of programming, and in tools and techniques that can help programmers design software that is correct, secure, and efficient.
I worked towards a Ph.D. at Cornell University until 2013, under the guidance of Andrew Myers. I received a BA in mathematics and a BS in computer science from the University of Rochester in 2003. I also received an MA in mathematics from the University of Rochester in 2004.
My Ph.D. research focused on building decentralized distributed systems that guarantee strong security properties. I am a lead developer of Fabric, a programming language and runtime system that use information flow analysis to protect users' information, even in the presence of partially trusted code running on a partially trusted platform.
Teaching Interests
- Discrete structures (cs 2800)
- Formal proofs, logic, set theory, combinatorics, probability, graphs, finite automata and regular languages.
- Functional programming and data structures (cs3110)
- Functional and concurrent programming, writing and using specifications, modular programming and data abstraction, reasoning about program correctness, reasoning about system performance, useful and efficient data structures.
- Operating systems (cs 4410)
- Hardware support for operating systems, concurrent programming and synchronization, memory management, filesystems, networking.
- Design and analysis of algorithms (cs 4820)
- greedy algorithms, dynamic programming, divide and conquer, np completeness, undecidability, proofs of correctness, asyptotic complexity.
- Object Oriented Programming and Data Stuctures (cs 2110)
- Java, object oriented programming, design patterns, introductory data structures and algorithms, GUI programming.
Selected Publications
Warranties for Faster Strong Consistency (NSDI 2014)
Sharing Mobile Code Securely With Information Flow Control (Oakland 2012).
Fabric: A Platform for Secure Distributed Computation and Storage (SOSP 2009).