< Back to previous page
Researcher
Guillermo Alberto Perez
- Research Expertise:Development and study of automatic verification techniques. The latter include the theory and practice of model checking, automatic synthesis of reactive controllers, and the theory of learning with guarantees, amongst others.
- Keywords:SAFE ARTIFICIAL INTELLIGENCE, FORMAL VERIFICATION, Computer science (incl. applied informatics)
- Disciplines:Computational logic and formal languages
- Research techniques:To develop safe systems, I make use of automata-theoretic tools as well as game theory applied to games played on finite graphs for an infinite horizon. Both models form the foundations of the algorithms I develop to carry out formal verification.
- Users of research expertise:Software and hardware companies developing safety critical software-intensive and/or cyber physical systems are potential users of the algorithms and methods I work on.