I am now at Siemens EDA. Previously, I was part of the Cyber-Physical Systems group at the Software Engineering Institute. 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. Earlier, 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.