prof. dr. J.A. (Jorge) Perez Parra
Associate Professor in Software Foundations
Field/Discipline
Expertise
Programming languages and models.
Correctness and verification techniques for software systems with concurrency and communication.
More details in my personal home page.
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.
Member - Young Academy Groningen (since 2019).
Member - Admissions Board MSc Computing Science.
| Last modified: | 02 November 2020 2.05 p.m. |