HELLO
I'M Pablo C. Cañizares

PhD Student in Computer Science

PROFILE

Pablo C. Cañizares

Research lines and interests

My research areas are those related with modelling and testing of cloud computing and HPC environments. Specifically, I'm actually working on my PhD dissertation titled "Testing and modeling cloud systems using Metamorphic Testing and Model Driven Engineering", whose main goal is to design new techniques, based on metamorphic testing and MDE, to automatically testing cloud computing systems.

This also includes topics such as formal modelling of cloud systems, performance evaluation of highly distributed systems and testing distributed systems and applications. Then, I have contribute with some advances of mutation testing techniques, which are focused in analyse the suitability of provided test suites to test highly distributed systems.

At present I am working at Testing and Performance Evaluation research group in the Computer Science Faculty of the University Complutense of Madrid. Currently, I am working in a project supported by the Spanish ministry of Economy and Competitiveness running from January 2016 to December 2018. This project is aimed to design and develop techniques for modelling and testing cloud computing systems.

CONTACT DETAILS


Dep. Sistemas Informáticos y Computación
Fac. Informática - Univ. Complutense de Madrid
C/ Profesor Jose García Santesmases, 9
28040 Madrid - Spain


+34 91 3947648


pablocc@ucm.es

CV RESUME

EDUCATION

PhD in Computer science / In progress (Until ~2018)

PhD on computer science imparted by Universidad Complutense de Madrid, Spain.

  • Project: "Testing and modeling cloud systems using Metamorphic Testing and Model Driven Engineering"
  • Description: The main goal of this thesis dissertation is to provide a methodology to check the correctness of cloud computing systems using MDE techniques and Metamorphic Testing.
  • Grade: --

Master in Computer science / 2015

Master degree on computer science imparted by Universidad Complutense de Madrid, Spain.

  • Project: "MuTomVo: Mutation testing Framework for omnet-based simulated environments"
  • Description: MuTomVo is a mutation testing framework which provides mechanisms that allow to evaluate the suitability of test suites to check distributed systems. The main goal of this project is to provide mechanisms that allow to evaluate the sui- tability of test suites to check distributed systems, in an inexpensive and efficient way. In this work, we propose MuTomVo, a framework that integrates mutation testing techniques with simulation techniques.
  • Grade: A with honors.

Bachelor in Computer Science / 2013

Bachelor degree on Computer Science imparted by Universidad Complutense de Madrid, Spain.

  • Project: "Hardware Acceleration Applied to Mersenne Primes Search in CUDA"
  • Description:
  • Grade: A with honors.

Technical Engineer in Computer Science / 2009

Degree imparted by Universidad Complutense de Madrid, Spain.

EMPLOYENT

Technical manager of a research project / March 2015 - Actually
Universidad Complutense de Madrid.

In eu semper velit. Ut laoreet, sapien ac porta aliquam, est enim blandit nisl, ut semper dui justo a sapien. Nam orci ipsum, rutrum semper purus a, posuere molestie lorem. Sed ut nibh lobortis, semper ligula ut, tempus mi. In.

Systems Analyst / July 2008 - March 2015
Ibys technologies, SA.

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Mauris et pulvinar ligula. Praesent maximus ornare quam, id consectetur dui eleifend nec. Nam consectetur orci id nulla varius, quis facilisis dui vulputate. Sed ultrices eu erat non mollis. Phasellus ut libero.

PORTFOLIO

PHOTOGRAPHY

RESEARCH

<

RESEARCH

A detailed list of my research publications can be found in the DBLP website.


RESEARCH PROJECTS

ESpecificación y Testing de sistemas altamente DistribuIdOs (ESTuDIO)


  • Reference: TIN2012-36812-C02-01
  • Supported by: Ministry of Economy and Competitiveness
  • Period: 01/01/2013 - 31/12/2015

desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas (SICOMORo-CM)


  • Reference: S2013/ICE-3006
  • Supported by: Comunidad de Madrid
  • Period: 01/10/2014 - 30/09/2018

Desarrollo y Análisis formal de sistemas complejos en contextos DistribuidOS: fundamentos, herramientas y aplicaciones (DArDOS)


  • Reference: TIN2015-65845-C3-1-R
  • Supported by: Ministry of Economy and Competitiveness
  • Period: 01/01/2016 - 31/12/2018

PROGRAM COMMITTEE MEMBER

International Conference on Advances and Trends in Software Engineering /
SOFTENG [2016 - Actually]

SOFTENG, The International Conference on Advances and Trends in Software Engineering, focuses on challenging aspects for software development and deployment, across the whole life-cycle.

International Conference on Computer Science & Information Technology / CSIT 2016

CSIT 2016 aims to obtain a good perspective into the current state of practice to address important Computer Science and Information Technology problems.

International Work-Conference on Artificial Neural Networks / IWANN 2017

This meeting seeks to provide a discussion forum for scientists, engineers, educators and students about the latest discoveries and realizations in the foundations, theory, models and applications of systems inspired on nature, using computational intelligence methodologies.

REVIEWER

ISTA 2015, International Symposium on Intelligent Systems Technologies and Applications

ICCCI 2015, 7th International Conference on Computational Collective Intelligence Technologies and Applications

VJCS, Vietnam Journal of Computer Science

MET 2017, 2nd International Workshop on Metamorphic Testing

GRANTS

Best master thesis 2015 (Granted by itSMF)

Marktoberdorf 2016 summer school grant: Dependable Software Systems Engineering

Verification Mentorship Workshop and CAV grant (VMW-CAV 2016)

OTHERS

Innovation Project (INNOVA-DOCENTIA)