J.A. (Jorge) Perez Parra, Prof
Associate Professor in Software Foundations
I am currently coordinator for the courses of the BSc Computing Science:
-
Languages and Machines (WBCS027-05): a second-year course on automata theory;
-
Program Correctness (WBCS024-05): a first-year course on deductive program verification.
Also, I am coordinate for the course of the MSc Computing Science:
-
Models and Semantics of Computation (WMCS026-05): a graduate-level introduction to semantics of programming languages.
Moreover, I routinely (co)supervise BSc and MSc students on topics related to:
-
formal specification of programs
-
rigorous programming models
-
concurrency theory
| Last modified: | 06 October 2023 10.48 a.m. |