I am a member of Barbara Liskov's Programming Methodology Group in the Computer Science and Artificial Intelligence Laboratory at MIT.

My current research focuses on making databases resilient to Byzantine Faults.

My M.Eng. research was a programming language (called People) & compiler that targeted a novel supercomputing processor architecture called the Q-Machine (developed by Andrew bunnie Hwang).