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

prof. dr. J.A. Perez Parra

Associate Professor in Software Foundations

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:
5161-558
Telephone:

Team