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.

Hobbies: reading, jogging, chocolate, tea, good beer... I also enjoy learning new languages! (not just programming languages)

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).



  • . (). In . In . , : . Ed . . (view online) (view online) (Note: .)
  • 2018


    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