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)

Academic Background

Announcements

  • I was granted an FWA post-doc subsidy to spend 2017 at the Department of Computer Science, University of Oxford as a visiting researcher.

Tools

Research

PhD dissertation

Regret and Partial Observability in Quantitative Games
  • . (). In . In . , : . Ed . . (view online) (view online) (Note: .)
  • 2017

    2016

    2015

    2014

    See DBLP for full list.

    Other publications

    • Guillermo Perez, Yeh-Ching Chung, Wei-CHung Hsu, Kao Chung-Min. 2012. A hybrid just-in-time compiler for android. In Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems (CASES '12). ACM, New York, NY, USA, 41-50.
    • Chih-Sheng Wang, Guillermo Perez, Yeh-Ching Chung, Wei-Chung Hsu, Wei-Kuan Shih, and Hong-Rong Hsu. 2011. A method-based ahead-of-time compiler for android applications. In Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems (CASES '11). ACM, New York, NY, USA, 15-24.

    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