Scholar
Guillermo A. Pérez
Google Scholar ID: MP0yUsgAAAAJ
Associate Professor, University of Antwerp
Citations & Impact
Citations
859
H-index
16
i10-index
26
Publications
20
Co-authors
19
list available
Publications
Resume (English only)
Academic Achievements
- See his DBLP entry for a list of publications. His research, mostly in the context of formal methods for trustworthy AI, has been featured in the media too: an 'outstanding' AAAI 2025 paper on a decidable class of partially observable Markov decision processes was the topic of two blog posts in Le Monde’s binaire and covered by AIhub.org. Results from Dennis Groß’ 2020 collaboration with TNO on attacking models for image classification were featured in NewScientist. He is also part of the organizational team for the Reactive Synthesis Competition SYNTCOMP, for which he has developed the tools AbsSynthe and Acacia-Bonsai.
Research Experience
- He is currently a (tenured) associate professor at the University of Antwerp. He heads the ARA lab, which is part of the AnSyMo research group.
Background
- His interests include Logic in Computer Science, Automata Theory, Formal Verification, and Trustworthy AI (he is a member of the Ellis society).
Miscellany
- You can reach him via guillermo.perez@uantwerp.be.
