Education

• PhD (2010). Computer Languages and Systems Department, University of Seville. Title: "Techniques for Automated Inconsistency Diagnosis in Firewall ACLs: An MDA-Based Framework for the Development and Management of Consistent ACLs for Firewalls" (dissertation available on request, but in Spanish only). Advisor: Rafael M. Gasca
• MSc (2004) in Computer Engineering. University of Seville. Advisor: Rafael M. Gasca
  
• BSc (2002) in Computer Engineering. University of Seville. Advisor: Rafael M. Gasca

Research Interests

• Model-driven and Policy-based engineering in Infosec, Cloud Computing, Infosec Management
  
• Infosec management techniques and systems
• Domain-specific modelling of security systems and services
  
• Automatic model-based diagnosis of security systems and services (mainly inconsistency, redundancy and no-conformance faults
• Automatic optimization and (re)configuration of security systems and services
• Applications of Model Driven Development paradigm to IT Security
  

Research Activities

Editorial Board

• IARIA International Journal on Advances in Security, ISSN 1942-2636. Covers IARIA conferences ICQNM, SECURWARE, MESH, DEPEND, INTERNET, and CYBERLAWS
  

Organizing Comitee

• 1^st International Workshop on Model-Based and Policy-Based Engineering in Information Security, MPEIS 2011. In conjunction with the 8^th International Conference on Security and Cryptography, SECRYPT 2011. Seville (Spain), July 18-21
• 13^th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2010. Seville (Spain), November 2009.
  
• 4^th Netfilter Workshop, NFWS 2005. Seville (Spain), October 2005.
• VIII Ibero-American Conference on Artificial Intelligence, IBERAMIA 2002. Seville (Spain), November 2002.

Program Comitee

• 5^th International Workshop on Computational Intelligence in Security for Information Systems, CISIS 2012. September. Ostrava, Czech Republic.
• 5^th International Conference on Dependability, DEPEND 2012. August 19-24. Rome, Italy.
  
• 6^th International Conference on Emerging Security, Information Systems, and Technologies, SECURWARE 2012. August 19-24. Rome, Italy.
• 3^rd FTRA International Conference on Information Technology Convergence and Services, ITCS 2011. October 20-22. Gwangju, Korea.
  
• 1^st International Workshop on Model-Based and Policy-Based Engineering in Information Security, MPEIS 2011. In conjunction with the 8^th International Conference on Security and Cryptography, SECRYPT 2011. Seville (Spain), July 18-21
• 7^th International Conference on Information Assurance and Security, IAS 2011. December 5-8. Malacca, Malasya.
• 4^th International Workshop on Computational Intelligence in Security for Information Systems, CISIS 2011. June 8-10. Torremolinos, Málaga, Spain.
• 4^th International Conference on Dependability, DEPEND 2011. August 21-27. French Riviera, France.
  
• 5^th International Conference on Emerging Security, Information Systems, and Technologies, SECURWARE 2011. August 21-27. French Riviera, France.
• 3^rd International Workshop on Computational Intelligence in Security for Information Systems, CISIS 2010. November 11-12. León, Spain.
• 6^th International Conference on Information Assurance and Security, IAS 2010. August 23-25. Atlanta, USA.
  
• 9^th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010. August 18-20. Yamagata, Japan.
  
• 3^rd International Conference on Dependability, DEPEND 2010. July 18-25. Venice, Italy.
  
• 4^th International Conference on Emerging Security, Information Systems, and Technologies, SECURWARE 2010. July 18-25. Venice, Italy.
• 2^nd International Workshop on Computational Intelligence in Security for Information Systems, CISIS 2009. September 23-26. Burgos, Spain.
  
• 2^nd International Conference on the Applications of Digital Information and Web Tecnologies, ICADIWT 2009. August 4-6. London, UK.
  
• 2^nd International Conference on Dependability, DEPEND 2009. June 14-19. Athens, Greece.
• 3^rd International Conference on Emerging Security, Information Systems, and Technologies, SECURWARE 2009. June 14-19.
• 1^st International Conference on the Applications of Digital Information and Web Tecnologies, ICADIWT 2008. August 4-6. Ostrava, Czech Republic.

Thematic and Excellence Networks and other Memberships

• RePRIS, Spanish Network for the improvement of Software Engineering Testing Methodologies.
  
• RETISTIC, Spanish Network of Research in IT Security.
• CriptoRED, Iberoamerican Network of Criptography and IT Security.
  

Teaching

• 2012-2013 Pending
  

Local Student Information

• Office ours here
• MSc project offers here. Please note I'm not taking new MSc projects for 2013-2014 academic year!