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