2018-annual-report

4. Abstract Interpretation (Master level, 4
ECTS). Master in Software and Systems
(MUSS), Universidad Politécnica de Madrid
(UPM). Pierre Ganty.
5. Rigorous Software Development (Master
level, 4 ECTS). Master in Software and Systems
(MUSS), Universidad Politécnica de
Madrid (UPM). Manuel Carro.
95
annual report
20
6. Data Structures and Algorithms (Undergraduate
level, 6 ECTS). Grado en Ingeniería
Informática, Universidad Politécnica de
Madrid (UPM). Manuel Carro.
5. Education
While the Institute focuses on research and
technology transfer, our researchers are sometimes
involved in teaching courses offered by
universities and other entities. The following is a
list of courses where IMDEA Software researchers
taught in 2018.
1. Software Construction: Architecture and
Interface Design Issues (Master level, 6
ECTS). Master in Software and Systems
(MUSS), Universidad Politécnica de Madrid
(UPM). Alessandra Gorla.
2. Computer Security (Master level, 4 ECTS).
Master in Software and Systems (MUSS),
Universidad Politécnica de Madrid (UPM).
Juan Caballero, Dario Fiore, Alessandra
Gorla, Marco Guarnieri, Boris Köpf.
3. Formal Methods for Concurrent and Reactive
System (Master level, 4 ECTS). Master
in Software and Systems (MUSS), Universidad
Politécnica de Madrid (UPM). César
Sánchez.
7. Security Engineering (Undergraduate level,
6 ECTS). Universidad Carlos III de Madrid
(UC3M). Juan Caballero.
8. Seminar on Foundations of Cryptography
(Master level, 2 ECTS). Master in Software
and Systems (MUSS), Universidad Politécnica
de Madrid (UPM). Dario Fiore, Antonio
Faonio.
9. Seminar on Performance Analysis and Modelling
of Software Systems (Master level, 1.5
ECTS). Universidad Politécnica de Madrid
(UPM). Zsolt István.
10. Declarative Programming: Logic and Constraints
(Undergraduate level, 3 ECTS).
Grado en Ingeniería Informática, Universidad
Politécnica de Madrid (UPM). Manuel
Hermenegildo.
11. Logic and Constraint Programming. Universidad
Politécnica de Madrid (UPM). Manuel
Hermenegildo.
12. PhD training activity on Experimentation.
Universidad Politécnica de Madrid (UPM).
Zsolt István.