J.A. (Jorge) Perez Parra, Prof
Associate Professor in Software Foundations
Field/Discipline
Expertise
Programming languages and models.
Verification techniques for complex software systems.
More details in my personal home page.
Verification techniques for complex software systems.
More details in my personal home page.
Other positions
Member (and board member) - Young Academy Groningen (since 2019).
Member - Admissions Board MSc Computing Science.
Member - Admissions Board MSc Computing Science.
Last modified: | 01 March 2024 12.54 p.m. |