Carlos Camacho Gonzalez

Principal Software Engineer

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 to model software product lines, distributed systems and cloud computing. He currently works for Red Hat as a Principal Software Engineer part of the Products and Technologies division, R&D OpenStack Platform department.

Read articles by Carlos in Red Hat Research Quarterly

Research Areas


Partner Universities