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).
| Last modified: | 15 August 2019 09.54 a.m. |