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
Member (and board member) - Young Academy Groningen (since 2019).
Member - Admissions Board MSc Computing Science.
Member - Admissions Board MSc Computing Science.
Laatst gewijzigd: | 01 maart 2024 12:54 |