Skip to ContentSkip to Navigation
How to find us prof. dr. J.A. (Jorge) Perez Parra

prof. dr. J.A. Perez Parra

Associate Professor in Software Foundations
prof. dr. J.A. Perez Parra
Telephone:
E-mail:
j.a.perez rug.nl

I am currently responsible for the courses of the BSc Computing Science:

  • Discrete Structures (INBDS-08): a first-year course on discrete mathematics;
  • Languages and Machines (INBTA-08): a second-year course on automata theory

Also, I am responsible for the MSc course "Formal Modeling of Communicating Systems" (WMCS14001).

Moreover, I routinely supervise BSc and MSc students on topics related to:

  • formal specification of programs
  • rigorous programming models
  • concurrency theory
Last modified:02 June 2018 3.25 p.m.

Contact information

Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence

Job title:
Associate Professor
Room:
416
Telephone:

Team