prof. dr. J.A. (Jorge) Perez Parra
Associate Professor in Software Foundations
Field/Discipline
Expertise
Foundations of programming languages and models.
Verification techniques for software systems with concurrency and communication.
More details in my personal home page.
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).
Member of the Young Academy Groningen (since 2019)
Member of the Young Academy Groningen (since 2019)
| Last modified: | 08 May 2020 11.47 a.m. |