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)
- Computer Science PhD @ Méthodes Formelles et Vérification Group, Université Libre de Bruxelles (Brussels, Belgium).
- Information Systems and Applications M.Sc. @ System Software Laboratory, National Tsing Hua University (Hsinchu, Taiwan).
- Computer Science B.Sc. @ Universidad Tecnológica Centroamericana (Tegucigalpa, Honduras)
- I was granted an FWA post-doc subsidy to spend 2017 at the Department of Computer Science, University of Oxford as a visiting researcher.