< Terug naar vorige pagina
Onderzoeker
Guillermo Alberto Perez
- Onderzoeksexpertise: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.
- Trefwoorden:SAFE ARTIFICIAL INTELLIGENCE, FORMAL VERIFICATION, Informatica
- Disciplines:Computationele logica en formele talen
- Onderzoekstechnieken: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.
- Gebruikers van onderzoeksexpertise: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.