Anda di halaman 1dari 5

Basic Information

Name

ngel Jess

Surname

Varela Vaca

Birthday

01/28/1983

Gender

Male

Nationality

Spanish (Seville province)

Mobile phone

(+34) 605 44 77 59

E-mail

ajvarelavaca@gmail.com

Personal site

http://estigia.lsi.us.es/angel

Education and qualifications


07/2013 Ph.D. in Technology and Software Engineering at High Technical School of Computer Engineering (University of
Seville)
Main topics: Business Process Management, Risk Management, Dependability, IT Security, Security Patterns, Artificial
Intelligence, Constraint Programming, Model-Based Diagnosis, Feature-Oriented Model Analysis.
Thesis dissertation: OPBUS: A framework for improving the dependability of risk-aware business processes
Qualification: Graduated summa cum laude

09/2013 Course of deployment, monitoring, auditing ISO 27001:2005 - Information technology Security techniques
Information security management systems Requirements.
Main topics: Basic concepts, tools and techniques for risk evaluation, ISO 27001:2005 requirements, basic structure of an ISMS,
definition and types of auditing.

09/2008 09/2009 - M.Sc. in Technology and Software Engineering (Intelligent Techniques branch) at High Technical School of
Computer Engineering (University of Seville)
Subjects: Software Architecture Design, Software Process Technology, Model Driven Architecture (MDA) & Aspect Oriented
Programming (AOP), Network Design and Interconnection, Semantic Web, Constraint Programming on Internet, Text Mining,
Data Mining.
Master thesis: Formalization of a computation independent model based on security risk analysis for a model-driven
architecture.
Qualification: final-year thesis graduated with honours

09/2008 11/2009 - CCNA Exploration: Network Fundamentals by Cisco Network Academy


Subjects: Network fundamentals, OSI model, TCP/IP model, fundamentals of network design, configuration of cisco, CLI
command.
Qualification: graduated with honours
09/2002 09/2008 - B.Sc. Computer Engineering at High Technical School of Computer Engineering (University of Seville)
Subjects: Software Engineering, Design & Analysis of Algorithms, Database Design, Network Management & Operating Systems,
Architecture and Computer Technology, Parallel System Architecture, Formal Languages & Automata
Final year thesis: Transformation of high-level security policies by means of a model-driven architecture
Qualification: final-year project graduated with honours, two last years as student intern.

Work experience

01/2015 04/2015 Project Management of Wonder Project in collaboration with OnTime Logistica S.A. and FIDETIA
foundation.
Main duties: project management activities.
Funding: 20.000 aprox.

11/2014 03/2015 Associate Professor at the Department of Computer Languages and Information Systems, University of
Seville.
Main duties: preparing lectures, teaching material and practices.
Teaching subjects: Analysis and Design Algorithms, Data Structure and Algorithms, Security subjects in the computer
engineering grade of the University of Seville

10/2013 - 10/2014 Postdoctoral at the Department of Computer Languages and Information Systems, University of Seville.
Main duties: research activities and teaching assistant for different projects
Teaching subjects: Introduction to software engineering and information systems, Analysis and Design Algorithms, Security in
Information Systems and Internet in the computer engineering grade of the University of Seville.
: 46.000 aprox.

09/2013 11/2013 - Research Assistant at Quivir Research Group in the University of Seville, Spain.
Project: TDiaCo-BPMS: Techniques for diagnosis, reliability and optimization in business process management systems
(TIN2009-13714) funded by Spanish Ministry of Science and Technology.
Main duties: developing research activities, and support as system administrator
Funding: 6.000 aprox.

09/2011 11/2011 - Visiting research at Hasso-Plattner Institute of University of Potsdam, Berlin, Germany funded by
University of Seville
Main duties: research on the topics of model-driven security engineering in the Internet Technologies and Systems Group
Funding: 2.200

09/2009 08/2013 - PhD research grant funded by Andalusian Government at the Department of Computer Languages and
Information Systems, University of Seville
Project: OPBUS: Improving business process quality by means of optimized and fault-tolerance technologies (P08-TIC-04095)
funded by the Department of Innovation, Science and Enterprise of the Regional Government of Andalusia.
Main duties: research activities to develop PhD, and teaching assistant.
Teaching subjects: Introduction to software engineering and information systems, Operating Systems, Analysis and Design
Algorithms, Security in Information Systems and Internet in the computer engineering grade of the University of Seville
Funding: 120.000 aprox.

09/2008 09/2009 Associate Professor at the Department of Computer Languages and Information Systems, University of
Seville.
Main duties: prepare lectures, teaching material and practices.

Teaching subjects: Analysis and Design Algorithms, Data Structure and Algorithms in the computer engineering grade of the
University of Seville

01/2008 08/2008 - Collaboration scholarship at the Department of Computer Languages and Information Systems, University
of Seville; funded by Spanish Ministry of Science and Technology
Main duties: develop research topics in model-driven development.
Funding: 2500 aprox

Language skills
Read

Oral
Written
Mother tongue
Fluent both oral and written (Upper Intermediate Level)
B2
B2
B2

Spanish
English

Courses:
2010 B2 Level Intensive English Course at University of Menndez Pelayo, Barcelona, Spain.
2010 B2 Level English Course at Language Institute of University of Seville.
2008 Intermediate (assimilated B2 Level) Intensive English Course at Live Language in Glasgow, UK.
2007 Intermediate (assimilated B1 level) Intensive English Course at The Burlington School in London, UK.
2006 Intermediate (assimilated B1 level) Intensive English Course at The Burlington School in London, UK.

Research productivity
Summary
Activity name

Type

# Total

Research production

Journals
Books
International Conferences
R+D Projects
R+D Organization Experience
Networks, Societies
Other scientific activities

6
2
17
3
7
3
2

Journals
Angel Jesus Varela-Vaca and Rafael M. Gasca, Formalization of Security Patterns as a Means to Infer Security Controls in
Business Processes", ISSN 1368-9894, Logic Journal of the IGPL, Oxford Journals, ISSN 1368-9894, DOI:
10.1093/jigpal/jzu042, 2014. ISI JCR 2013: 0.530
Angel Jesus Varela-Vaca, " OPBUS: A framework for improving the dependability of risk-aware business processes, ISSN 18758452, AI Communications, IOS Press, ISBN 1875-8452, DOI: 10.3233/AIC-140651, 2014. ISI JCR 2013: 0.466
Angel Jesus Varela-Vaca and Rafael M. Gasca, "Towards the Automatic and Optimal Selection of Risk Treatments for Business
Processes using a Constraint Programming Approach", Information and Software Technology, ISSN 0950-5849, Volume 55, Issue
11, Pages 19481973, Elsevier, 2013. ISI JCR 2012: 1.522
Sergio. Pozo, Rafael. M. Gasca, Antonia M. Reina, Angel Jesus Varela-Vaca. "CONFIDDENT: A Model-Driven Consistent and NonRedundant Layer-3 Firewall ACL Design, Development and Maintenance Framework". Journal of Systems and Software, ISSN:
0164-1212. Volume 85, Issue 2, Pages 425-457, Elsevier, 2011. ISI JCR 2010: 1.293
Angel Jesus Varela-Vaca, Rafael M. Gasca, Diana Borrego, and Sergio Pozo. "Fault Tolerance Framework using Model-Based
Diagnosis: Towards Dependable Business Processes", International Journal on Advances in Security, Pages 11-22, ISSN: 19422636, Vol. 4, N 1 & 2, 2011.
Luisa Parody, Mara Teresa Gmez-Lpez, Rafael M. Gasca and Angel Jesus Varela-Vaca, "Improvement of Optimization

Agreements in Business Processes Involving Web Services", Volume 2012 (2012), Article ID 959796, Communications of the
IBIMA, 15 pages DOI: 10.5171/2012.959796

International Conferences
Angel Jesus Varela-Vaca, and Rafael M. Gasca, "Propuesta para la generacin y seleccin adaptable de configuraciones de
seguridad para sistemas de gestin de procesos de negocio". 1st Workshop de Investigacin en Tecnologas de Seguridad TIC.
Len, Spain, 2012.
Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, and Chirstoph Meinel. A Security Pattern-Driven
Approach Toward the Automation of Risk Treatment in Business Processes". 5th International Conference on Computational
Intelligence in Security for Information Systems (CISIS 2012). Ostrava, Czech Republic, 2012, Advances in Intelligent Systems and
Computing, 2012, Volume 189, 13-23, DOI: 10.1007/978-3-642-33018-6_2. (CORE B)
Angel Jesus Varela-Vaca, Rafael M. Gasca and Sergio Pozo. "OPBUS: Risk-aware framework for the conformance of securityquality requirements in business processes". International Conference on Security and Cryptography (SECRYPT 2011),
SciTePress, ISBN 978-989-8425-71-3. (CORE B)
Angel Jesus Varela-Vaca, Rafael M. Gasca, and Andres Jiminez-Ramirez. "A Model-Driven Engineering approach with Diagnosis
of Non-Conformance of Security Objectives in Business Process Models". 5th IEEE International Conference on Research
Challenges in Information Science (RCIS 2011). ISBN 978-1-4244-8671-7. (CORE B)
Angel Jesus Varela-Vaca, R.M. Gasca, Diana Borrego, and Sergio Pozo."Towards Dependable Business Processes with FaultTolerance Approach". 3rd International Conference on Dependability (DEPEND 2010). Venecia, Italy. IEEE Computer Society
Press, 2010. ISBN 978-0-7695-4090-0. Acceptance rate: 29%. Best paper award.
Angel Jesus Varela-Vaca, and Rafael M. Gasca."OPBUS: Fault Tolerance against integrity attacks in business processes". 3rd
International Conference on Computational Intelligence in Security for Information Systems (CISIS'10). Leon, Spain. Advances in
Soft Computing, Volume 85/2010, 213-222. ISBN: 978-3-642-16625-9, 2010. (CORE B)
Angel Jesus Varela- Vaca, Rafael M. Gasca, and Luisa Parody: "OPBUS: Automating Structural Fault Diagnosis for Graphical
Models in the Design of Business Processes". 21th International Workshop in Principles of Diagnosis (DX'10). Portland, Oregon,
USA. ISBN: 978-1-936263-02-8. 2010.

Collaborations
Luisa Parody, Mara Teresa Gmez-Lpez, Rafael M. Gasca and Angel Jesus Varela-Vaca, "CombiS-BP Editor: Combining
Declarative and Imperative Languages in BP Modelling", 7th IEEE International Conference on Research Challenges in
Information Science (RCIS 2013), Paris, France, 2013. ISBN 978-1-4673-2914-9. (CORE B)
Luisa Parody, Mara Teresa Gmez-Lpez, Rafael M. Gasca and Angel Jesus Varela-Vaca. "An Approach for Optimization
Agreements in Business Process based on Web Services". 17th IBIMA Conference on Creating Competitive Economies: A 360degree Approach (IBIMA'11). Milan (Italy), 2011. pp 183-194. ISBN: 978-0-9821489-6-6. (CORE B)
Andres Jimenez-Ramirez, Rafael M. Gasca and Angel Jesus Varela-Vaca. "Contract-based test generation for data-flow of
business process using constraint programming". 5th IEEE International Conference on Research Challenges in Information
Science (RCIS 2011). ISBN 978-1-4244-8671-7. (CORE B)
Sergio Pozo, Angel Jesus Varela-Vaca, and Rafael M. Gasca. "A Quadratic, Complete, and Minimal Consistency Diagnosis Process
for Firewall ACLs". Advanced Information Networking and Applications (AINA). Perth, Australia, IEEE Computer Society Press,
2010. Acceptance rate: 25%. (CORE B)
Sergio Pozo-Hidalgo, Angel Jesus Varela-Vaca, and Rafael M. Gasca, MDA-based framework for automatic generation of
consistent firewall ACLs with NAT, Computational Science and Its Applications ICCSA 2009. Lecture Notes in Computer
Science Volume 5593, 2009, pp 130-144. (CORE B)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, and Rafael Ceballos. "Efficient Algorithms and Abstract Data Types for
Local Inconsistency Isolation in Firewall ACLs". 4th International Conference on Security and Cryptography (SECRYPT). Milan,
Italy. IEEE Computer Society Press, 2009. Acceptance rate (full papers): 11%. (CORE B)
Sergio Pozo, Angel Jesus Varela-Vaca, and Rafael M. Gasca. "MDA-based Framework for Automatic Generation of Consistent
Firewall ACLs with NAT". 9th International Conference on Computational Science and Its Applications (ICCSA). Yongin, Korea.
Springer-Verlag, Lecture Notes in Computer Science (LNCS), 2009. Acceptance rate: 30%. (CORE C)
Sergio Pozo, Angel Jesus Varela-Vaca, and Rafael M. Gasca. "AFPL2, An Abstract Language for Firewall ACLs with NAT support".
2nd International Conference on Dependability and Security in Complex and Critical Information Systems (DEPEND). Athens,
Greece. IEEE Computer Society Press, 2009. Acceptance rate: 29%.

Sergio Pozo, Rafael Ceballos, Rafael M. Gasca, and Angel Jesus Varela-Vaca. "Polynomial Heuristic Algorithms for Inconsistency
Characterization in Firewall Rule Sets". 2nd International Conference on Emerging Security Information Systems and
Technologies (SECURWARE). Cap Esterel, Agay, France. IEEE Computer Society Press, 2008. Acceptance rate: 29%.
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca, and Angel Jesus Varela-Vaca. "Fast Algorithms for Local Inconsistency Detection
in Firewall ACL Updates". 1st International Workshop on Dependability and Security in Complex and Critical Information
Systems (DEPEND). Cap Esterel, Agay, France. IEEE Computer Society Press, 2008. Acceptance rate: 28%.

Books
Escalona-Cuaresma, Mara Jos; Garca-Vallejo, Carlos A.; lvarez-Garca, Juan Antonio; De La Rosa-Troyano, Fco Fernando;
Gutirrez-Rodrguez, Javier Jess; Varela-Vaca, ngel Jess; Ceballos-Guerrero, Rafael; Barba-Rodrguez, Irene; Pozo-Hidalgo,
Sergio; Del Valle-Sevillano, Carmelo; Fuentes-Brenes, Daniel; Gmez-Lpez, M Teresa. ESTRUCTURAS DE DATOS Y
ALGORTIMOS, ISSN: 978-84-692-5205-5, 2009.
Escalona-Cuaresma, Mara Jos; Del Valle-Sevillano, Carmelo; Gmez-Lpez, M Teresa; Garca-Vallejo, Carlos A.; BarbaRodrguez, Irene; Ortega-Rodrguez, Francisco Javier; Martnez-Gasca, Rafael; De La Rosa-Troyano, Fco Fernando; lvarezGarca, Juan Antonio; Gutirrez-Rodrguez, Javier Jess; Fuentes-Brenes, Daniel; Varela-Vaca, ngel Jess. ANLISIS Y DISEO
DE ALGORTIMOS, ISSN: 978-84-692-5206-2, 2009.

R+D Projects
TDiaCO-BPMS: Techniques for diagnosis, reliability and optimization in business process management systems (TIN2009-13714)
funded by Spanish Ministry of Science and Technology.
Funding: 156.090
OPBUS: Improving business process quality by means of optimized and fault-tolerance technologies (P08-TIC-04095) funded by
the Department of Innovation, Science and Enterprise of the Regional Government of Andalusia.
Funding: 131.023,68
Automated fault detection, diagnosis and tolerance in uncertain systems and distributed systems (DPI2006-15476-C02-00)
funded by Spanish Ministry of Science and Technology and ERFD/FEDER.
Funding: 114.950

R+D Organization Experience


Reviewer of The Journal of Supercomputing (ISSN: 1573-0484) with JCR: 0.841
Editorial board of International Journal on Advances in Security (ISSN 1942-2636) since 2012
Program committee of International Conference on Dependability (DEPEND) since 2011
Program committee of International Conference on Business Intelligence and Technology (BUSTECH) since 2011
Organization committee of International Workshop on Model-Based and Policy-Based Engineering in Information Security
(MPEIS) 2011 (collateral event SECRYP 2011)
Organization committee of Conference Teaching University of Informatics (JENUI) 2011
Organization committee of Conference Spanish Society of Intelligence Artificial (CAEPIA) 2009

Networks and Societies


IEEE membership and IEEE Computer Society member for 2008-2012
Machine Intelligence Research (MIR) Labs (Scientific Network for Innovation and Research Excellence) since 2012

Other research activities


Attendance to 11th International School on Foundations of Security Analysis and Design (FOSAD) 2011
Attendance to 3rd International School on Fault Detection and Diagnosis of Complex Systems 2008