Gabriel Moreno is a principal researcher and the lead of the Formal Verification of Cyber-Physical Systems (FV-CPS) Initiative.
During his career at the SEI, Moreno has worked on several areas including model-based analysis, software architecture, component technology, performance analysis, and computational mechanism design. His 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, his 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. His work in proactive self-adaptation under uncertainty has been featured in a textbook on self-adaptive systems.
Moreno has several years of software development experience in industry, participating in projects involving MIS, web applications and services, electronic transactions middleware, and communication protocols in embedded software.
Before joining the SEI, Moreno was at ITC Soluciones in Argentina, where he designed and developed multiplatform distributed systems and communication protocols for electronic transactions for healthcare and payment systems.
Moreno frequently serves in program committees for conferences in the areas of autonomous and self-adaptive systems and software architecture. He is a member of the Board of Distinguished Reviewers for ACM Transactions on Autonomous and Adaptive Systems, and also frequently reviews articles for journals including the Journal of Systems and Software and IEEE Transactions on Software Engineering.
