J.A. (Jorge) Perez Parra, Prof Dr
Associate Professor in Software Foundations
I am currently responsible for the courses of the BSc Computing Science:
- Program Correctness (WBCS024-05): a first-year course on deductive program verification;
- Languages and Machines (WBCS027-05): a second-year course on automata theory
Also, I am responsible for the MSc course "Models and Semantics of Computation".
Moreover, I routinely supervise BSc and MSc students on topics related to:
- formal specification of programs
- rigorous programming models
- concurrency theory
| Last modified: | 25 June 2022 1.19 p.m. |