Guillermo Perez graduated in 2010 from the Universidad Tecnologica Centroamericana (Honduras). Then, supported by an ICDF scholarship, he moved to the National Tsing-Hua University (Taiwan) to complete a master’s program in 2012 with a focus on embedded systems. The same year he moved to Belgium and, in 2016, he obtained a PhD in computer science from the Université libre de Bruxelles. After a research stay at the University of Oxford (United Kingdom), he was hired at the University of Antwerp. There, he leads the Automated Reasoning in Antwerp (ARA) research lab.

---