Victorino Sanz Prat
Assistant Professor
Departamento de Informática y Automática.
E.T.S.I. Informática.
UNED.
c/ Juan del Rosal 16
28040 Madrid, Spain.
Phone: (+34) 91 398 94 69
Fax: (+34) 91 398 76 90
Email: vsanz@dia.uned.es
EDUCATION
ETSI Informática, UNED
Ph.D. in Computer Science (with European Mention), May 2010.
- Dissertation title: Hybrid System Modeling using the Parallel DEVS Formalism and the Modelica Language. (pdf)
- Presented at: Dpto. de Informática y Automática, UNED
- Defense committe: Prof. Dr. Cesar de Prada, Prof. Alberto Leva, Prof. Dr. Jose Luís Fernandez-Marrón, Prof. Dr. Miguel Ángel Piera, Prof. Dr. Carla Martín-Villaba.
Facultad de Infomática, Universidad Politécnica de Madrid
Computer Science Engineer, September 2004.
- M.Sc. Degree
RESEARCH
Main research interests:
- Modeling and simulation in general.
- Hybrid and discrete-event system modeling and simulation.
- Simulation environments and languages.
- Modeling of biological evolution systems.
- Agent-based modeling and simulation.
Six-year research periods (Sexenios reconocidos):
- 2010-2016
Currently working on the development of several Modelica libraries for discrete-event system and hybrid system modeling and simulation. These libraries are:
- DESLib2.1, includes the following Modelica packages:
- RandomLib: a Modelica library for random numbers and random variates generation.
- MSGLib: Message Passing Communication in Modelica (v2.0).
- DYNARLib: Dynamic Arrays library
- DEVSLib: contains an implementation in Modelica of the Parallel DEVS formalism.
- CellularAutomataLib2: facilitates the description of Cellular Automata in Modelica, using external C functions to describe the behavior of models and its simulation.
- ABMLib: Agent-Based Modeling in Modelica following a process-oriented approach.
- MSGLib: Message Passing Communication in Modelica (v2.0)
I also developed an implementation in Modelica of the semaphores synchronization mechanism invented by E.D.Dijkstra in 1965. Semaphores.
BOOKS
Victorino Sanz, Alfonso Urquia. Extending Modelica Support for Parallel DEVS and Cellular Automata Modeling and Simulation, in Hybrid Systems - Performance, Applications and Technology, Ed. Jinjin Li, Nova Science Publishers, New York, 2017.
Victorino Sanz. Hybrid System Modeling, Lap Lambert Academic, Saarbruken, 2011.
JOURNAL ARTICLES
Victorino Sanz, Alfonso Urquia. MSGLib: A Modelica Library for Message Passing Communication SoftwareX, Volume 23, 101438, May 2023. (DOI)
Victorino Sanz, Alfonso Urquia. Agent-based Modeling of Traffic Systems using Modelica. IEEE Computing in Science and Engineering, Volume 24(6), Nov-Dec 2022. (DOI)
Victorino Sanz, Alfonso Urquia. Combining PDEVS and Modelica for describing agent-based models. Simulation: Transactions of the Society for Modeling and Simulation International, Vol. 99(5), pp. 455-474, May 2023. (DOI)
Victorino Sanz, Alfonso Urquia. Cyber-Physical system modeling with Modelica using message passing communication. Simulation Modelling Practice and Theory, Volume 117, May 2022, 102501. (pdf) (DOI)
Victorino Sanz, Federico Bergero, Alfonso Urquia. An approach to agent-based modeling with Modelica. Simulation Modelling Practice and Theory, 28(April 2018), pp. 65-74. (DOI)
Victorino Sanz, Alfonso Urquia, Alberto Leva. CellularAutomataLib2: Improving the Support for Cellular Automata Modeling in Modelica. Mathematical and Computer Modelling of Dynamical Systems, 22(3), 2016 pp. 244-264. (pdf) (DOI)
Daniel Heredia, Victorino Sanz, Alfonso Urquia, Máximo Sandín. A Systemic Approach for Modeling Biological Evolution using Parallel DEVS. Biosystems, 134(Aug 2015), 2015, pp. 56-70. (pdf) (DOI)
Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastian Dormido. Hybrid System Modeling using the SIMANLib and ARENALib Modelica Libraries. Simulation Modeling Practice and Theory, 37, 2013, pp. 1-17. (pdf) (DOI)
Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastian Dormido. Modeling of Hybrid Control Systems using the DEVSLib Modelica Library. Control Engineering Practice, 20(1), 2011, pp. 24-34. (pdf) (DOI)
Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastian Dormido. System Modeling using the Parallel DEVS Formalism and the Modelica Language. Simulation Modeling Practice and Theory, 18(7), 2010, pp. 998-1018. (pdf) (DOI)
Victorino Sanz, Alfonso Urquia, Sebastian Dormido. Introducing Messages in Modelica for Facilitating Discrete-Event System Modeling. Simulation News Europe, 18(2), 2008, pp 42-43. (pdf)
CONFERENCES
Victorino Sanz, Alfonso Urquia. Modelica Extensions for Supporting Message Passing Communication and Dynamic Data Structures. In Proc. of 7th International Workshop on Equation-Based Object-Oriented Languages and Tools, Milan, Italy, 2016, pp. 3-6. (full paper)
Victorino Sanz, Alfonso Urquia, Francesco Casella. Improving Efficiency of Hybrid System Simulation in Modelica. In Proc. of 6th International Workshop on Equation-Based Object-Oriented Languages and Tools, Berlin, Germany, 2014, pp. 21-28. (full paper)
Victorino Sanz, Alfonso Urquia, Alberto Leva. 1D/2D Cellular Automata Modeling with Modelica. In Proc. of 10th International Modelica Conference, Lund, Sweden, 2014, pp. 489--498. (pdf)
Victorino Sanz, Alfonso Urquia. An Approach to Cellular Automata Modeling in Modelica. In Proc. of 5th International Workshop on Equation-Based Object-Oriented Languages and Tools, Nottingham, UK, 2013, pp. 121-130. (pdf)
Victorino Sanz, Alfonso Urquia, Sebastian Dormido. Integrating Parallel DEVS and Equation-Based Object-Oriented Modeling. In Proc. of the DEVS Symposium, Spring Simulation Multiconference, Orlando, FL, USA, 2010. (full paper)
Victorino Sanz, Alfonso Urquia, Sebastian Dormido. Parallel DEVS and Process-Oriented Modeling in Modelica. In Proc. of the 7th International Modelica Conference, Como, Italy, 2009. (pdf)
François E. Cellier, Victorino Sanz. Mixed Quantitative and Qualitative Simulation in Modelica. In Proc. of the 7th International Modelica Conference, Como, Italy, 2009. (pdf)
Victorino Sanz, François E. Cellier, Alfonso Urquia, Sebastian Dormido. Modeling of the ARGESIM “Crane and Embedded Controller” System using the DEVSLib Modelica library. In Proc. of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, 2009. (pdf)
Victorino Sanz, Shafagh Jafer, Gabriel Wainer, Gabriela Nicolescu ,Alfonso Urquia, Sebastian Dormido. Hybrid Modeling of Opto-Electrical Interfaces Using DEVS and Modelica. In Proc. of the DEVS Integrative M&S Symposium, Spring Simulation Multiconference, San Diego, CA, USA, 2009. (pdf)
Victorino Sanz, Alfonso Urquia, Sebastian Dormido. Introducing Messages in Modelica for Facilitating Discrete-Event System Modeling. In Proc. of 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus, 2008, pp. 83-93. (pdf)
Victorino Sanz, Alfonso Urquia, Sebastian Dormido. DEVS Specification and Implementation of SIMAN Blocks Using Modelica Language. In Proc. of the Winter Simulation Conference 2007, Washington, DC, USA, 2007, pp. 2374-2374. (pdf)
Victorino Sanz, Alfonso Urquia, Sebastian Dormido. ARENALib: A Modelica Library for Discrete-Event System Simulation. In Proc. of the 5th Int. Modelica Conference, Vienna, Austria, 2006, pp. 539-548. (pdf)
RESEARCH PROJECTS
- Desarrollo en lenguaje Modelica de simuladores de entrenamiento y soporte a la decisión. Ministerio de Economía y Competitividad (DPI2013-42941-R). IP: Prof. Dr. Alfonso Urquia Moraleda. 2014 - 2016.
- Avances en la simulación de modelos híbridos descritos en lenguaje Modelica. Proyectos de investigación UNED (2013-026-UNED-PROY). IP: Prof. Dr. Victorino Sanz Prat. Sep 2013 - Ago 2015.
- Modelado, simulación y control basado en eventos. Plan Nacional de I+D+i, Ministerio de Educación y Ciencia (CICYT DPI2007-61068). IP: Prof. Dr. Sebastián dormido Bencomo. Oct 2007 - Sep 2012.
- Control de sistemas complejos en la logística y producción de bienes y servicios (COSICOLOGI-CM). IV PRICIT 2005-2008, Plan Regional de Ciencia y Tecnologías e la Comunidad de Madrid (S-0505/DPI/0391). IP: Prof. Dr. Sebastián Domido Bencomo. Jan 2005 - Dec 2008.
- Herramientas Interactivas para el modelado, visualización, simulación y control de sistemas dinámicos. CICYT (DPI2004-01804). IP: Prof. Dr. Sebastián Dormido Bencomo. Jan 2004 - Dec 2006.
OTHER PROJECTS
- Innovative teaching and learning strategies in open modelling and simulation environment for student-centered engineering education (InMotion). Erasmus+ Programme of the European Union (Ref. 573751-EPP-1-2016-1-DE-EPPKA2-CBHE-JP). 2016 - 2019.
- Plataforma de Prácticas de Multicomputación para la Educación a Distancia. Ayudas para Apoyo a la Actividad Docente (Convocatoria 2016), UNED. IP: Prof. Miguel Ángel Rubio González. 2016.
RESEARCH STAYS
Politecnico di Milano
- Local supervisor: Prof. Alberto Leva
- Department: Dipartimento di Elettronica, Informazione e Bioingegneria
- Duration: 2 months (15/May - 15/July 2013)
- Location: Milan, Italy
TU Delft
- Local supervisor: Prof. Dr. Mamadou Seck
- Department: Systems Engineering Section, Faculty of Technology, Policy and Management
- Duration: 3 months (Sep - Nov 2009)
- Location: Delft, The Netherlands
- Local supervisor: Prof. Dr. François E. Cellier
- Department: Modeling and Simulation Research Group, Institute for Computational Science, Dept. of Computer Science
- Duration: 3 months (Sep - Nov 2008)
- Location: Zurich, Switzerland
- Local supervisor: Prof. Dr. Gabriel A. Wainer
- Department: Dept. of Systems and Computer Engineering
- Duration: 2 weeks (Jul 2008)
- Location: Ottawa, Ontario, Canada
TEACHING
Five-year teaching periods (Quinquenios reconocidos):
- 01/11/2009-31/10/2014
- 01/11/2014-31/10/2019
Undergraduate courses, ETSI Informática, UNED
- Arquitectura e Ingeniería de Computadores (since 2006/07)
- Ingeniería de Computadores II (since 2011/12)
- Procesamiento Paralelo (since 2012/13). Course coordinator.
- Tratamiento Digital de Señales (since 2016/17)
Graduate courses, ETSI Informática, UNED
- Comunicaciones y Redes Industriales (since 2010/11). Course coordinator
- Simulación de Sistemas (since 2010/11)
- Modelado de Sistemas Dinámicos (since 2010/11)
- Sistemas Operativos y Redes (since 2011/12).
- Practicum II (since 2010/11). Course Coordinator
- Trabajo Fin de Máster (since 2011/12). Course Coordinator
Undergraduate courses, Madrid Associated Centre, UNED
- Sistemas Operativos I (2006/07 - 2008/09)
- Sistemas Operativos II (2006/07 - 2008/09)
- Teoría de Autómatas I (2007/08)
Kaliform S.A.
- Introduction to wireless networks (taught in 2006)
TEXTBOOKS
Alfonso Urquia, Carla Martin-Villalba, Miguel Angel Rubio, Victorino Sanz. Simulation practice with Modelica, Editorial UNED, 2018. (ISBN 9788436274035, free ebook)
Sebastian Dormido Canto, David Moreno Salinas, Jose Sanchez Moreno, Victorino Sanz. Procesamiento Paralelo, Sanz y Torres, 2012. (ISBN 9788415550112)
Sebastian Dormido Canto, Jose Sanchez Moreno, Victorino Sanz. Ingeniería de Computadores II, Sanz y Torres, 2011. (ISBN 9788492948604)
MOOCs (Massive Open Online Courses)
Alfonso Urquia, Carla Martin-Villalba, Miguel Angel Rubio, Victorino Sanz. Modeling and simulation in Engineering using Modelica, UNED Abierta
SUPERVISED THESIS
Isaac Marco Rodríguez. Creación de un juego serio par ael aprendizaje del diseño de diagramas de flujo en el contexto de la educación secundaria. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Maria Gloria García Tudela. Metodología Aprendizaje-Servicio aplicada a a informática de 4º de ESO. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Cesar Estebas Gomez. Gamificación utilizando Minecraft en la asignatura Tecnología de 4º de la ESO. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Adrian Merinas Díez. Modelos competenciales e inclusivos para abordar la impartición de tecnologías de la información y la comunicación. Trabajo Fin de Máster, Máster de Secundaria, 2020.
David Trillo Bonnin. Proyecto educativo para la identificación de roles según la personalidad en un proyecto emprendedor web usando Eneagrama y Wordpress. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Iñaki Albisua Goñi. Integración de las TIC en la educación: ventajas, desventajas y propuesta para la implantación en centros de secundaria. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Marcos Morata Rodeño. Reconocimiento de voz y una posible aplicación sobre Scratch. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Martin García Figueira. Estudio sobre el programa Geogebra para la enseñanza de Matemáticas en la ESO. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Eduardo Quesada Díaz. Diseño de un concurso de programación para alumnos de secuncaria utilizando Etwinning como herramienta de colaboración. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Ismael Rodríguez Fernández. Un nuevo marco de evaluación mediante el uso de la l&óacute;gica borrosa. Trabajo Fin de Máster, Máster de Secundaria, 2020.
Nuria Aresti Bartolomé. Escape Room: Adquisición y evaluación de conocimientos mediante la consecución de hitos y técnicas de gamificación. Trabajo Fin de Máster, Máster de Secundaria, 2019.
Isidoro Castell Egea. Aplicación de metodologías ágiles en el aula: SCRUM como marco de trabajo en asignaturas de bachillerato. Trabajo Fin de Máster, Máster de Secundaria, 2019.
Victor Sierra Abas. Aprendizaje basado en metodología ágil: Desarrollo de un interfaz mediante SCRUM. Trabajo Fin de Máster, Máster de Secundaria, 2018.
Isabel Ramos Cantero. Propuesta practica de educación para el desarrollo sostenible aplicada al análisis de diseño de videojuegos. Trabajo Fin de Máster, Máster de Secundaria, 2018.
Maria Esther Moreno Montero. Proyecto de enseñanza/aprendizaje basado en un entorno laboral simulado. Trabajo Fin de Máster, Máster de Secundaria, 2018.
Pedro José González Ruiz. Evaluación de las competencias TIC de los nativos digitales en la etapa de secundaria y bachillerato. Trabajo Fin de Máster, Máster de Secundaria, 2017.
Josep Oriol Tarradellas Viñas. Proyecto Theme Park. Trabajo Fin de Máster, Máster de Secundaria, 2017.
Blanca Verónica Turrillo Jimeno. Las TIC como impulso de implicación de las familias en la institución escolar. Trabajo Fin de Máster, Máster de Secundaria, 2017.
Carmen Iza Castanedo. Enseñanza de la informática con software en modo texto. Trabajo Fin de Máster, Máster de Secundaria, 2017.
Antonio Bodada Lastra. ELearning y los procesos de enseñanza aprendizaje con plataformas virtuales. Trabajo Fin de Máster, Máster de Secundaria, 2017.
Elena Andueza Azcárate. Estudio de la eficacia de la metodología de informática desenchufada y gamificación en la enseñanza de Tecnologías de la Información y la Comunicación en Bachillerato. Trabajo Fin de Máster, Máster de Secundaria, 2017.
Daniel Orlando Bermudez. El programador de riego: Una propuesta educativa basada en el uso de arduino como recurso educativo en el huerto escolar para alumnos de cuarto año de ESO o Diversificación. Trabajo Fin de Máster, Máster de Secundaria, 2017.
Griselda Molina Asens. La influencia de las TIC en la motivación y aprendizaje del alumnado. Trabajo Fin de Máster, Máster de Secundaria, 2016.
Miguel Ángel Peña Camacho. Sistemas de ayuda para la detección del plagio académico en Educación Secundaria . Trabajo Fin de Máster, Máster de Secundaria, 2016.
Rubén Javier Galve Pérez. Técnicas de aprendizaje para la programación en el ámbito educativo . Trabajo Fin de Máster, Máster de Secundaria, 2016.
Jorge Dueñas Lerín. Aprendizaje Experiencial en la Enseñanza de Tecnologias de la Información. Trabajo Fin de Máster, Máster de Secundaria, 2015.
Juan Carlos del Caño Martín. Desarrollo de Aplicaciones en Android para el Apoyo en la Docencia de Personas con Autismo. Trabajo Fin de Máster, Máster de Secundaria, 2015.
Nuria Planes Castilla. Teoría de las Inteligencias Múltiples aplicada a la docencia en Informática. Trabajo Fin de Máster, Máster de Secundaria, 2015.
Miguel Ángel Fernández Lancha. Hacia una Ciencia Computacional en las Aulas. Trabajo Fin de Máster, Máster de Secundaria, 2014.
Ana Leiba Martínez. Unidad didáctica para la asignatura optativa de Informática en 4º de ESO: Internet y redes sociales (red social GNOSS). Trabajo Fin de Máster, Máster de Secundaria, 2014.
Angel Yagüe Macías. Desarrollo de un blog informático, mediante trabajo cooperativo. Trabajo Fin de Máster, Máster de Secundaria, 2013.
Diego Pérez Pérez. La pizarra digital interactiva (PDi) en la educación. Trabajo Fin de Máster, Máster de Secundaria, 2013.
Jesús de Francisco García. Modelo social aplicado a la didáctica de los sistemas operativos monopuesto. Trabajo Fin de Máster, Máster de Secundaria, 2013.
Vicente Marcos Sierra Diego. El papel de la informática en el curriculum de secundaria actual, una programación alternativa. Trabajo Fin de Máster, Máster de Secundaria, 2013.
Roberto Antón Marqués. Desarrollo de una herramienta para la resolución de problemas de optimización discreta con algoritmos genéticos. Proyecto Fin de Carrera, Dpto. de Informática y Automática, ETSI Informática, UNED, 2013.
PROFESIONAL EXPERIENCE
- Assistant Professor. Dpto. de Informática y Automática, UNED (since Nov 2009)
- Research Assistant. Dpto. de Informática y Automática, UNED (Aug 2005 - Nov 2009)
- Technical Support Engineer. SUN Microsystems (Jun 2004 - Aug 2005)
GRANTS
- Solution Centre Grant. SUN Microsytems (Dec 2003 - Jun 2004)
- ERASMUS Student. At the Aalborg University Esbjerg (Denmark). Facultd de Informática, UPM (Oct 2002 - Jul 2003)
- Technical Support Engineer. SUN Microsystems (Jun 2004 - Aug 2005)
OTHER INFORMATION
Languages
- Spanish: mother tongue.
- English: fluid spoken and written.
- Italian: basic spoken and written.
Reviewer for the following journals:
- Simulation Modeling Practice and Theory.
- Revista Iberoamericana de Automática e Informática Industrial.
- Simulation: Transactions of the Society for Modeling and Simulation International.
- Applied Thermal Engineering
- Ain Shams Engineering Journal
Committee Member: