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

Tools

• AbsSynthe: abstract synthesis from succinct safety specifications
• An SMT-solver-based mean-payoff and discounted-sum game solver
• An adaptation of POMCP to optimize expectation while satisfying worst-case guarantees

See my git account for a full list.

Recent publications

• Weak Cost Register Automata are Still Powerful. In DLT 2018. Co-authored with Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki.
• Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. In CONCUR 2018. Co-authored with Jan Kretínský, Jean-François Raskin.
• When is Containment Decidable for Probabilistic Automata? In ICALP 2018. Co-authored with Laure Daviaud, Marcin Jurdziński and Ranko Lazić, Filip Mazowiecki, James Worrell.
• The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. In FoSSaCS 2018. Co-authored with Stéphane Le Roux.

See DBLP for full list.

PhD dissertation

Regret and Partial Observability in Quantitative Games

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