Carlos Gustavo Lopez Pombo

Carlos Gustavo Lopez Pombo is an Adjunct Associate Professor in the Department of Computing and Software at McMaster University. His research focuses on formal methods and software engineering, with particular emphasis on verification techniques for service-oriented systems.

Research Interests: Dr. Pombo specializes in formal verification methods, temporal logic, and quality-of-service analysis in distributed systems. His work bridges theoretical computer science and practical software engineering challenges, developing tools for automated analysis of software specifications and service-oriented architectures.

Publication Trends: His recent work (2023-2025) focuses on quality-of-service verification in choreographic systems and dynamic service contracts, while earlier publications established foundations in specification languages (Alloy, Z Notation) and verification algorithms (SAT-based bounded verification).