Skip to ContentSkip to Navigation
Practical matters How to find us J.A. (Jorge) Perez Parra, Prof Dr

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.