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

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.