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
Leader, Fundamental Computing group (since 2019)
Board member / Head of Computer Science - Bernoulli Institute (since 2024)
Member - Young Academy Groningen (2019 - 2024).
Member - Admissions Board MSc Computing Science (2018 - 2024)
Board member / Head of Computer Science - Bernoulli Institute (since 2024)
Member - Young Academy Groningen (2019 - 2024).
Member - Admissions Board MSc Computing Science (2018 - 2024)
Last modified: | 17 October 2024 10.04 p.m. |