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).
Last modified:15 August 2019 09.54 a.m.

Contact information

Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence

Job title:
Assistant Professor
Room:
5.58
Telephone:

Team