Tzamn Meléndez Carmona is a Ph.D. Student at the Department of Control and Computer Engineering of Politecnico di Torino. His research focuses on testing and verification for safety-critical applications.