J.A. (Jorge) Perez Parra, Prof
Full 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
- Leader, Fundamental Computing group (since 2019)
- Board member / Head of Computer Science - Bernoulli Institute (since June 2024)
- Member - Young Academy Groningen (2019 - 2024).
- Member - Admissions Board MSc Computing Science (2018 - 2024)
Last modified:11 March 2026 4.07 p.m.