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