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. |