Education

• PhD (1998) in Computer Science. Doctoral dissertation: "Reasoning and Simulation in systems with quantitative and qualitative knowledge". Supervisor: Miguel Toro Bonilla. PhD thesis is available upon request.
• MSc in Science from the University of Seville.

Research Areas

• Information Security Systems. Security in Business Process, Perimetral Security, Intrusion Prevention, Distributed Intrusion Detection, Mobile Agent in Security Applications.
• Model-based Diagnosis. Pre-compiled Techniques, Data-driven Techniques, Determination of Clusters of Components, Semiqualitative Model-based Diagnosis.
• Semiqualitative Reasoning, Solving Techniques, Semiqualitative Languages, Semiqualitative Simulation Tecnhiques.
• Constraint Programming and Constraint Databases. Interval Constraint Programming, Configuration and Assembly Problems, Soft Constraints, Industrial Applications.
• Business Process Management Systems. Fault Detection, Diagnosis and Prognosis in Dataflow.

Publications and Research Projects

Please, go to DBLP and Sisius area, or to the research projects area of the Website.

Research Activities

Invited Seminars/Talks

• VI International Summer School on Fault Diagnosis of Complex Systems 2015
  
• V International Summer School on Fault Diagnosis of Complex Systems 2013
  
• IV  International Summer School on Fault Diagnosis of Complex Systems 2010
  
• III International Summer School on Fault Diagnosis of Complex Systems 2008
• Constraint Programming, ADEEC Seminars, Science and Technology School, Faro (Portugal), 2002.
• Interval Constraint Programming Applied to Engineering, Red Temática en Desarrollo de Métodos Intervalares y sus aplicaciones en Ingeniería, Madrid (Spain), January 2003.
• Seminario Científico sobre Modelados Matemáticos de Fenómenos naturales y sociales, Mathematics School, Seville (Spain), December 2002.
  

Thematic and Excellence Networks and other Memberships

• Criptored, Ibero-American Thematic Network on Criptology and IT Security.
• RNPST, National Thematic Network of Planning, Scheduling and Temporal Reasoning.
• IntervalNet, National Thematic Network of Interval Methods Development and Engineering Applications.
• MONET2, International Network of Excellence on Model Based Systems and Qualitative Reasoning.
• ARCA, National Thematic Network of Qualitative Reasoning Automation and its Applications.

Supervised Thesis

PhD Thesis

• Luisa Parody, Combi-BP: Automating the Data-Oriented Optimization in Business Processes. From declarative to executable models, 2014
• Suárez Fábrega, Antonio J. Detección de Fallos en Sistemas Dinámicos Mediante Técnicas de Error Acotado, 2014
  
• Varela Vaca, Ángel Jesús, OPBUS: A framework for improving the dependability of risk-aware business processes. 2013 
• De la Rosa Troyano, Fco Fernando: Sistemas de Inteligencia Web: Análisis de Redes Sociales. 2012
• Borrego Núñez, Diana: Diagnostic Reasoning with Structural Analysis and Constraint Programming for Quality Improvement of Business Process Management Systems, 2012 
• Ceballos Guerrero, Rafael: Técnicas Automáticas para la Diagnosis de Errores en Software Diseñado por Contrato. Tesis Doctoral. 2011
  
• Pablo Neira Ayuso: Architectures For the High Availability of Stateful Firewalls, 2010.
• Sergio Pozo Hidalgo: Automatización de la Diagnosis de Inconsistencias en Listas de Control de Acceso de Firewalls, 2010.
• Pedro J. Abad Herrera: Diagnosis de Sistemas Dinámicos Mediante el Aprendizaje de Modelos Proposicionales, 2007
• Mª Teresa Gómez López: LORCDB: Gestor de Bases de Datos Objeto-Relacionales de Restricciones, 2007.
• Francisco J. Cuberos: Indice para la Comparación Cualitativa de Series Temporales, 2005.
• Cristóbal Chamizo Guerra: Localización de Centros de Servicios Atractivos y/Ó Repulsivos con Algoritmos de Ramificación y Poda, 2004

Do you want to join QUIVIR as a PhD Student? Write us!

Organization Committee Membership

• Jornadas de Transferencia Tecnológica de Inteligencia Artificial (TTIA) 2009
  
• 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009.
• III International Summer School on Fault Diagnosis of Complex Systems 2008.
• 4^th Netfilter Workshop - NFWS 2005, University of Seville (Spain), October 2005.
• I Iberoamerican Workshop on Planning, Scheduling and Temporal Reasoning, Seville (Spain), Iberamia 2002. Workshop chair.
• VIII Ibero-American Conference on Artificial Intelligence - IBERAMIA, University of Seville (Spain), November 2002.
• I Work day DOLMEN, Seville (Spain), June 2001.
• XIX TI Summer School, Cádiz (Spain), July 1997.
• III TI Work day, Puerto de Santa María, Cádiz (Spain), July 1997.
• I Work day on Software Engineering, Seville (Spain), 1996.

Program Commitee Membership

• Jornadas de Transferencia Tecnológica de Inteligencia Artificial (TTIA) 2009
  
• 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009.
• 4th International Conference on Computational Intelligence in Security for Information Systems, CISIS01 Torremolinos (Spain), 2011.
• International Conference on Security and Cryptography, SECRYPT, Sevilla (Spain), 2011.
  
• 3th International Conference on Computational Intelligence in Security for Information Systems, CISIS00 León(Spain), 2010.
• 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009.
• Sixteenth International Workshop on Qualitative Reasoning, QR2002, Sitges (Spain), June 2002.
• I Work day on Diagnosis, Valladolid (Spain), July 2001.
• III Work day on Qualitative Methodologies applied to Socio-Economic Systems, Valladolid (Spain), July 2001.

Editorial Board

• 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009.
  
• Current trends in Qualitative Reasoning and Applications. 2000 Edtion.
• Coordinator of the Qualitative Methodologies applied to Socio-Economic systems, and Interval Reasoning monographic, Arificial Intelligence Ibero American Journal no.9 Winter/2000.

Software Patent

• Parody Núñez, Maria Luisa, Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
  CombiS-BP Editor. 2013-07-20
  
  De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael, Gómez López, Mª Teresa:
  Tredar Bpm: Gestión de Procesos de Negocios y Servicios Web. Derechos de autor. 2013-01-25
  
  De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael:
  Tredar: Plataforma Web para el Desarrollo de Aplicaciones Wiki. Derechos de autor. Solicitud: 2013-01-25
  
  De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael:
  Tredar Vtic, Hyro y Twitternets: Sistemas de Vigilancia Tecnológica e Inteligencia Competitiva Basados en Procesos de Negocios Wiki. Derechos de autor. 2013-01-25

Teaching

• Constraint Programming for Internet applications - MTR (PhD Course, link in Spanish)

It is given in Program Software Engineering at Seville University. It yields 3 credits. The general contents and prerequisites are described in the course plan.

• Security in Information Systems and Internet - SSII (link in Spanish)

2009/2010 course programme available in Spanish.

There exist a near-natural interconnection between actual information systems using local area networks and/or Internet. Compuers connected to public and private networks are exposed to a wide variety of risks and dangers, because of systems (computation resources, disk space, confidential data, etc.) are exposed to millions of people, autmated scan&attack tools, massive propagation worms and other kind of malicious software and users in the wild.
In order to know how to deal with security problems and risks, IT Security professionals should have some knowledge and habilities regarding IT Security in networks and systems. In this course we explain theory and practice of the most important Information Security principles, such as security policies developent and deployment, firewalls, IDS, honeynets, secure programming, basic criptography, etc.

Office Hours

Please, follow this link to go to office hours page (in Spanish Only).