J.A. (Jorge) Perez Parra, Prof
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
Member - Young Academy Groningen (since 2019).
Member - Admissions Board MSc Computing Science.
Member - Admissions Board MSc Computing Science.
| Last modified: | 14 January 2023 10.16 p.m. |