J.A. (Jorge) Perez Parra, Prof
Full Professor in Software Foundations (Grondslagen van Software)
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.
Overige functies
- 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)
Laatst gewijzigd:11 maart 2026 16:07