J.A. (Jorge) Perez Parra, Prof Dr
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 - University Committee for Academic Practice (Universitaire Commissie Wetenschapsbeoefening, UCW)
Member - Admissions Board MSc Computing Science.
Member - University Committee for Academic Practice (Universitaire Commissie Wetenschapsbeoefening, UCW)
Member - Admissions Board MSc Computing Science.
| Last modified: | 12 July 2022 5.16 p.m. |