Skip to ContentSkip to Navigation
About usHow to find usdr. 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.

Other positions

Associated member of CWI Amsterdam (Formal Methods group).
Last modified:17 May 2019 07.41 a.m.

Contact information

Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence

Job title:
Assistant Professor
Room:
5.58

Team