Skip to ContentSkip to Navigation
Over onsWaar vindt u onsdr. J.A. (Jorge) Perez Parra

dr. J.A. (Jorge) Perez Parra

Assistant Professor

Expertise

Foundations of programming languages and models.
Verification techniques for software systems with concurrency and communication.

More details in my personal home page.

Overige functies

Associated member of CWI Amsterdam (Formal Methods group).
Laatst gewijzigd:21 maart 2019 11:00

Contactgegevens

Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence

Functie:
Assistant Professor
Kamer:
5.58
Telefoon:

Team