Senior Member of Technical Staff
Areas of expertise: specification, verification, and validation of software, concurrency, real-time and cyber-physical systems, software security.
I am a Senior Member of Technical Staff at the Software Engineering Institute and part of the Cyber-Physical Systems research 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. Here are more details on my projects and publications. 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, and my Ph.D thesis. Please visit my CMU webpage for more details.