J.A. (Jorge) Perez Parra, Prof
Associate 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 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)
| Laatst gewijzigd: | 17 oktober 2024 22:04 |