Speakers
Special Talks
Meet our distinguished invited speakers for SBMF 2026.
Prof. Hans Vangheluwe
University of Antwerp, Belgium
Talk Title
“Exploring Modelling Language Engineering”
About the speaker
Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Computer Science Department at the University of Antwerp in Belgium, where he is a founding member of the NEXOR Consortium on Cyber-Physical Systems (CPS). He heads the Modelling, Simulation and Design Lab (MSDL). His fundamental work covers the foundations of modelling and (co-)simulation, of model management, model transformation, and collaborative domain-specific modelling environments.
Prof. Marsha Chechik
University of Toronto, Canada
Talk Title
“Formal Reasoning for Assuring Product Lines of Complex Systems”
About the speaker
Marsha Chechik is Professor and former Chair in the Department of Computer Science at the University of Toronto, where she holds Bell University Labs Chair in Software Engineering. Her research interests are in the application of formal methods to improve the quality of software. She has co-authored numerous papers in formal methods, software specification and verification, computer safety and security, and requirements engineering. She is a Fellow of ACM and Chair of ACM SIGSOFT.
Prof. Augusto Sampaio
CIn - UFPE, Brazil
Talk Title
“Safe Evolution of Smart Contracts Supported by LLMs and SMT Solvers”
About the speaker
Augusto Sampaio is a Full Professor of Software Engineering at the Federal University of Pernambuco (UFPE) in Brazil. His research focuses on formal methods in software engineering, with contributions to the semantics, refinement, and transformation of concurrent and object-oriented models; model-based testing; and the integration of formal and semi-formal approaches. He is a member of the Brazilian Science Academy and Program Co-Chair of FM 2026.