dr. J.A. (Jorge) Perez Parra
Assistant Professor
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: | 17 May 2019 07.41 a.m. |