Since October 2018, I have moved to the University of Antwerp. Please visit my new webpage for updated information.

I am an engineer turned academic (wannabe). I am into Embedded Systems, Formal Verification, Logic and Automata, and Artificial Intelligence. More specifically: weighted automata, (partial-observation) quantitative games, regret minimization, reactive synthesis, learning with guarantees, etc.

Academic Background

  • Visiting Researcher @ University of Oxford (Oxford, UK) during 2017;
  • Computer Science PhD @ Université libre de Bruxelles (Brussels, Belgium), 2012–2016;
  • Information Systems and Applications M.Sc. @ National Tsing Hua University (Hsinchu, Taiwan);
  • Computer Science B.Sc. @ Universidad Tecnológica Centroamericana (Tegucigalpa, Honduras).



See my git account for a full list.

Recent publications

See DBLP for full list.

PhD dissertation

Regret and Partial Observability in Quantitative Games

Contact Information

If you find any dead links or typos on the page or if you did not find what you were looking for (like pdf versions of my publications), feel free to contact me.

  • E-mail: gperezme [at] ulb [dot] ac [dot] be
  • Postal Mail: Campus de la Plaine CP212, ULB Boulevard du Triomphe, 1050 Bruxelles, Belgium