In the past (from 2000/01 to 2024/25)

University of Zaragoza (Spain)

• Agile Methodologies and Quality, B.Eng. in Computer Engineering,  2017-25

• Basic algorithms, B.Eng. in Computer Engineering,  2017-25

• Databases, B.Eng. in Computer Engineering,  2017-18

• IT Security, B.Eng. in Computer Engineering,  2017-25

• Programming, B.Eng. in Computer Engineering, 2018-22

• Programming II, B.Eng. in Computer Engineering, 2017-21, 2023-25

• Software Engineering II. B.Eng. in Computer Engineering, Erasmus Teacher-mobility program, 2007-08

• Quality in Software Development, ICT Services and Infrastructures, M.Eng. IT, 2018-24

Centro Universitario de la Defensa (Spain)

• IT Systems for Management, B.Eng. in Industrial Organisational Engineering, 2012-17

• Fundamentals of Computer Science, B.Eng. in Industrial Organisational Engineering, 2010-12

University of Torino (Italy)

• Computer architecture, B.S.  in Computer Science, 2003-05, 2009-10

• Experimentation of Software Engineering, B.S. and M.S.  in Computer Science, 2003-04, 2005-06,2008-10

• Computer Science basics, B.S.  in Science and Technology of Cultural Assets, 2005-09 

• Computer Science basics I, B.S.  in Science and Alpine Tourism, 2005-09 

• Laboratory of applied computer science, B.S. in Biological Sciences, 2004-05

• Laboratory of programming and calculus, B.S.  in Science of Materials, 2000-01

No academic institutions

• Advanced Cyber Defence Course for the Spanish Armed Forces. Military Academy of Spanish Army Corps of Engineers - Hoyo de Manzanares (Spain), 2016-2017-2018

• Program Management, Master Course, General Direction of Armament and Material. Spanish Ministry of Defence - Madrid, 2017

Students supervised 

1. Abel Romeo Lancina,  "Desarrollo prototipos de protocolos criptográficos a partir de la especificación Alice y Bob (AnBx), para la generación de trazas con ataques Man-In-The-Middle", B.Eng. in Computer Engineering, 2025.

2. Sergio Martínez Lahoz, "Desarrollo de un simulador de protocolos criptográficos con ataques Man-In-The-Middle para

la generación de trazas", (co-supervised with José Merseguer). Universa internship, B.Eng. in Computer Science, October-November, 2024.

3. Ángel Villanueva Agudo, "Desarrollo de herramientas eficientes para la detección de fraudes eléctricos en redes inteligentes" (co-supervised with José Merseguer). Universa internship, B.Eng. in Computer Science, September-October, 2024.

4. Maria Stella de Biase, "Model-driven engineering for requirements to model automation" (co-supervised with Stefano Marrone, Università degli Studi della Campania "Luigi Vanvitelli", Italy, and Angelo Palladino, Kineton s.r.l., Italy), PhD in Mathematics, Physic and Engineering Applications - date of the dissertation: 7th, June 2024.

5. Mariapia Raimondo, "Security analysis of authentication protocols in model-driven engineering" (co-supervised with Stefano Marrone, Università degli Studi della Campania "Luigi Vanvitelli", Italy, and Angelo Palladino, Kineton s.r.l, Italy), PhD in Mathematics, Physic and Engineering Applications - date of the dissertation: 19th, December 2023.

6. Guillermo Cánovas González, "Modelos para la detección de ataques en redes inteligentes: Desarrollo, evaluación y optimización" (co-supervised with José Merseguer, University of Zaragoza), B.Eng. in Computer Engineering - date of the thesis statement: 13th, September 2023.

7. Raúl Javierre Cabrero, "Detección de Ataques de Integridad en Redes Inteligentes mediante el uso de Técnicas de Aprendizaje Automático" (co-supervised with José Merseguer, University of Zaragoza), B.Eng. in Computer Engineering - date of the thesis statement: 7th, July 2021.

8. Mariapia Raimondo, "Formal modeling and analysis of cryptographic schemes in railway systems", (co-supervised with Stefano Marrone, Università degli Studi della Campania "Luigi Vanvitelli", Italy), M.Sc. in Mathematics - date of the thesis statement: 26th, March 2020.

9. Philip Weidling, "Mining Web server logs for cyberattack detection", M.Eng. in Information Sciences (co-supervised with María Teresa Lozano Albalate, Centro Universitario de la Defensa)- date of the thesis statement: 9th, January 2019

10. Javier Sierra Maroto, "Diseño de una unidad de defensa antiaérea con capacidad de montaña", B.Eng. in Industrial Organisational Engineering - date of the thesis statement: 19th, May 2017

11. Etienne Chotard, "Use of process mining techniques for the detection of integrity attacks to a SmartGrid", M.Eng. in Information Sciences - date of the thesis statement: 4th January, 2017

12. Alejandro Polo Rueda, "Desarrollo de una aplicación informática para la gestión del material en una sección de zapadores mecanizada", B.Eng. in Industrial Organisational Engineering - date of the thesis statement: 16th December, 2016

13. Jorge Rubio García, "Sistema de jalonamiento mediante la utilización de cámaras térmicas", B.Eng. in Industrial Organisational Engineering- date of the thesis statement: 14th December, 2016

14. Raúl Piracés Alastuey, "Minería de procesos para la mejora de la seguridad en sistemas de información Web" (co-supervised with Raquel Trillo Lado, University of Zaragoza), B.Eng.  in Computer Engineering - date of the thesis statement: 5th July, 2016

15. Pablo David Chico Carracedo, "Sistemas de información para el mando y control en las pequeñas unidades de BRIPAC: requerimientos técnicos vs/ necesidades operativas", B.Eng. in Industrial Organisational Engineering  - date of the thesis statement: 27th May, 2016

16. Antonio Rojas Delgado, "Estudio del sistema de información, mando y control LINCE para mejorar su empleo en las pequeñas unidades de caballería", B.Eng. in Industrial Organisational Engineering - date of the thesis statement: 20th May, 2016

17. Alfonso Bógalo Chaparro, "Análisis y valoración de la estructura de seguridad del Sistema de Información para el MAndo y Control del Ejército de Tierra (SIMACET)", B.Eng. in Industrial Organisational Engineering  - Date of the thesis statement: 27th November, 2015

18. Javier Coca Gutiérrez, "Actualización, problemas y soluciones del Centro de Operaciones de Artillería Anti Aérea Semi-automáticos (COAAAS)", B.Eng.  in Industrial Organisational Engineering - Date of the thesis statement: 28th May, 2015

Lecturer

• Spanish PhD Summer School "Diseño Seguro y Análisis de Amenazas en Sistemas", organized by the Universidad de León, 20th-21st July, 2015.

Book (in spanish)

• Sistemas de Información para la dirección: un enfoque guiado por un caso de estudio,   Simona Bernardi and Lacramioara Dranca, Colección textos docentes n.18, Centro Universitario de la Defensa, Zaragoza, 2020. ISBN: ISBN: 978-84-940583-5-6