
Senior Member of Technical Staff
Development of tools and techniques that enable the verification and certification of the safety, security and reliability of component-based software systems.
Previously, I was a doctoral student at Carnegie Mellon University Computer Science Department where I was involved with the MAGIC and the SPEAR projects. Here is a summary of my academic activities as a graduate student, a list of publications and my Ph.D thesis.
Announcements
Professional Activities
Please visit my CMU webpage for a list of publications.
Architecture Centric Engineering (ACE) initiative
Projects: ComFoRT, Copper, Covert.
For more information