Guillermo Alberto Perez

Assistant professor

Foto ID

About Guillermo Alberto Perez

I am an engineer turned computer scientist. My research interests include

  • Embedded Systems,
  • Formal Verification,
  • Logic and Automata,
  • and Artificial Intelligence.

Verification of Hardware and Software Systems. Hardware and software systems are hard to design and implement correctly. I study formal logics that can be used to precisely specify what such systems are intended to do, and formal models like automata and games to abstract their behaviour. With my co-authors, we use these mathematical tools to develop algorithms that enable the verification of systems against their specifications.

Tools and Implementations. I have developed a verification tool called AbsSynthe for the Reactive Synthesis Competition.

Statute & functions

Zelfstandig academisch pers.
  • tenure track docent

Contact

Campus Middelheim
Middelheimlaan 1
M.G.106a
2020 Antwerpen
Belgiƫ
Tel. 032653904
Fax 032653777
       032653204
guillermoalberto.perez@uantwerpen.be