Short Bio

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.

Curriculum Vitae

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