Skip to ContentSkip to Navigation
About usHow to find usprof. dr. J.A. (Jorge) Perez Parra

prof. dr. J.A. (Jorge) Perez Parra

Associate Professor in Software Foundations

Expertise

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

More details in my personal home page.

Other positions

Associated member of CWI Amsterdam (Formal Methods group).
Member of the Young Academy Groningen (since 2019)
Last modified:15 November 2019 07.44 a.m.

Contact information

Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence

Job title:
Associate Professor
Room:
5161-558
Telephone:

Team