Education

• PhD (2001) in Electrical Engineering. Doctoral dissertation: "Heuristic Algorithms for Optimal Selection of Assembly Sequences". Directors: Eduardo Fernández Camacho and Miguel Toro Bonilla. PhD thesis is available upon request.
• MSc in Electrical Engineering from the University of Seville.

Research Areas

• Model-based Diagnosis. Pre-compiled Techniques, Data-driven Techniques, Determination of Clusters of Components, Semiqualitative Model-based Diagnosis.
• Constraint Programming and Constraint Databases. Interval Constraint Programming, Configuration and Assembly Problems, Soft Constraints, Industrial Applications.
• Assembly Sequence Planning. Genetic Algorithms, Heuristic Algorithms, Constraint Programming.
• Information Security Systems. Intrusion Prevention, Distributed Intrusion Detection, Distributed Denial of Services.

Publications and Research Projects

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

Research Activities

Thematic and Excellence Networks and other Memberships

• RNPST, Spanish National Network on 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.

Ongoing PhD supervisions

• María Teresa Gómez. 2003--. LORCDB Query Language. Model Based Diagnosis as Case Study.
• Rafael Ceballos. 2003--. Automatic techniques for diagnosing errors in designed by contract software.
• Antonio A. Márquez. 2002--. Constraint-Based Algorithms for Planning the Substitution of Faulty Parts.
• Irene Barba. 2006--. Constraint-Based Algorithms for Planning Maintenance and Repairing Activities.
• Do you want to join QUIVIR as a PhD Student? Write us!

Organizing Commitee

• VIII Ibero-American Conference on Artificial Intelligence - IBERAMIA, University of Seville (Spain), November 2002.
• I Workshop on Planning, Scheduling and Temporal Reasoning, Seville (Spain), November 2002.

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)

2005/2006 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.

• Internet Applications of Mobile Software Agents - ASAI (link in Spanish)

There exist a near-natural interconnection between actual information systems using Internet. In this course we will present a paradigm to computationally approach a set of problems and needs that arise from that interconnection, using the Mobile Software Agent Paradigm.
We will also present some concepts regarding Constrating Programming Paradigm related to reasoning and learning, that will be used during the course.

• Algorithm Design and Analysis - ADA (link in Spanish)

• Data Structures and Algorithms - EDA (link in Spanish)

Office Hours

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