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. Intrusion Prevention, Distributed Intrusion Detection, Distributed Denial of Services, 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
- 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
- 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.
Supervised Thesis
Ongoing PhD Thesis
- Rafael Ceballos. 2011--. Automatic Techniques for Design by Contract Software.
- Fernando de la Rosa. 2012--. Analysis and Visualization of Information for Internet Knowledge Extraction in Scientific and Technologic Information Systems (iK-SAV&SIT+C).
- Antonio Suárez. 2012--. Supervised Learning applied to Fault Diagnosis in Stationary State of Dynamic Systems.
PhD Thesis
- 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
Program Commitee Membership
- 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009.
- III International Summer School on Fault Diagnosis of Complex Systems 2008.
- 4th 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.
Editorial Board
- 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.
- 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.
- 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.
Teaching
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.
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).