Skip to content


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.  I am currently the co-editor of the ACM-W monthly newsletter (submit articles here!). I serve on the board of directors for the Foundation for Learning Equality, a non-profit tech company dedicated to bringing the online learning revolution to communities with little or no internet connectivity. In my spare time I love canoeing, contra dancing, and playing racquetball.


Get every new post delivered to your Inbox.