I'm a Principal Researcher and the lead of the Formal Verification of Cyber-Physical Systems Initiative at the Software Engineering Institute (SEI), Carnegie Mellon University.

During my career I have worked on several areas including model-based analysis, software architecture, component technology, performance analysis, and computational mechanism design. My current area of work is in autonomous cyber-physical systems, including their assurance and their ability to adapt to changing and uncertain environments. In particular, my research interest is in self-adaptive systems, which are able to change their structure and behavior to deal with changes in operational context, available resources, and user needs. My work in proactive self-adaptation under uncertainty has been featured in a textbook on self-adaptive systems.

I have several years of software development experience in industry. The breadth of projects I have participated in includes MIS, web applications and services, electronic transactions middleware, and communication protocols in embedded software. Before joining the SEI, I was at ITC Soluciones in Argentina, where I designed and developed multiplatform distributed systems and communication protocols for electronic transactions for healthcare and payment systems.

I frequently serve in program committees for conferences in the areas of autonomous and self-adaptive systems and software architecture. I’m a member of the Board of Distinguished Reviewers for ACM Transactions on Autonomous and Adaptive Systems, and also frequently review articles for journals including the Journal of Systems and Software and IEEE Transactions on Software Engineering.