I am a senior member of the technical staff at the Software Engineering Institute and part of the High-Confidence Cyber-Physical Systems group. My research area is the theory and applications of formal methods to improving software quality. In particular, I am interested in specification, verification, and validation of software, with particular focus on concurrent software, real-time and cyber-physical systems, and software security. Previously, I was a Computer Science Department doctoral student at Carnegie Mellon University. Here is a summary of my academic activities as a graduate student, a list of publications, my Ph.D thesis, and a more or less up-to-date resume.