Carlos Camacho received the B.Sc. degree in computer sciences from the Central University of
Venezuela in 2009, and the M.Sc. and Ph.D. degrees in computer sciences from the Complutense
University of Madrid, Spain, in 2012 and 2017, respectively. He received a cum laude mention on
his work to formally model software product lines. His research interests include formal methods, distributed systems, performance analysis, MLOps, artificial intelligence, and machine learning.