Skip to ContentSkip to Navigation
How to find us J.A. (Jorge) Perez Parra, Prof Dr

J.A. (Jorge) Perez Parra, Prof Dr

Associate Professor in Software Foundations

Expertise

Programming languages and models.
Correctness and verification techniques for software systems with concurrency and communication.
More details in my personal home page.

Other positions

Associated member - CWI Amsterdam (Formal Methods group).
Member - Young Academy Groningen (since 2019).
Member - Admissions Board MSc Computing Science.
Last modified:16 May 2022 07.54 a.m.

Contact information

Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence

Job title:
Associate Professor
Room:
416
Telephone:

Team