I am a Ph.D. student at Carnegie Mellon. I work in André Platzer‘s Logical Systems Lab. My current research is on formal verification of distributed hybrid systems. Specifically, I’m researching hierarchical modularity methods for the verification of automated cruise control in cars and collision avoidance systems in aircraft. My research interests also include: logic, verification of hybrid systems, verification of distributed hybrid systems, automated theorem proving, model checking, and dynamic logic.
Before I came to Carnegie Mellon, I attended Indiana University where I earned Bachelor of Science degrees in computer science and mathematics. I am fortunate to be supported by an NSF graduate fellowship and a Department of Energy Computational Science Graduate Fellowship. In my spare time I love playing the banjo, contra dancing, and playing racquetball.