Technical University of Valencia SEPTEMBER 2011 - OCTOBER 2014

Ph.D. Thesis in Computer Science

Title: A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems

A dissertation submitted in fulfilment of the requirements for the degree of Doctor of Philosophy in Computer Science with International Mention at the Universitat Politècnica de València.

Technical University of Valencia September 2010 - July 2011

Master of Research in Formal Methods in Computer Science

Department of Information Systems and Computing.

Multi-paradigm programming master's thesis: Slicing-based debugging of Web applications in Rewriting Logic

Technical University of Valencia September 2005 - June 2010

Master of Science in Computer Science, Software engineering

Professional skills

Throughout my career, I had the opportunity to gain experience and skills in the following fields.


  • Eclipse
  • Visual Studio
  • Dreamweaver
  • TextMate
  • ...

Imperative Languages

  • JavaScript
  • PHP
  • Ruby On Rails
  • Java
  • ...

Declarative Languages

  • Prolog
  • Maude
  • Haskell
  • SML
  • Racket


  • SEO
  • Community
  • MySQL
  • ...

Work Experience

Technical University of Valencia January 2011 - present


I'm a two-year Ph.D. student in Computer Science at the Technical University of Valencia (Spain) advised by María Alpuente and Demis Ballis . After finishing my B.S. and M.S. degrees in Computer Science and Engineering in 2010 and 2011, respectively, I joined the Extensions of Logic Programming (ELP) research group lead by María Alpuente. In 2012 I got the highest, four-year Spanish government Ph.D. grant (FPU-ME AP2010-5681) .

I'm interested in

In my Ph.D. thesis, I am developing a slicing-based trace analysis methodology. The analysis of execution traces plays an important role in many program analysis approaches but, in some cases, the analysis is not feasible because execution traces are commonly large and complex. The automated trace analysis methodology that I propose will make it easier to analyze large execution traces, making their analysis viable.

Pascual Tomas' fundation March 2011 - present


I teach Computing (Microsoft Office), Web Design (HTML + CSS), and Community Management (SEO + Social Media Marketing).

Strands Labs, Inc. August 2010 - January 2011

Software Engineer

I worked on Strands Fitness project ( web application is no longer available ) that was an active Web community of fitness minded people pursuing their fitness best. The Web application helps users set goals, track and monitor progress, and stay motivated with support from the community. It was implemented in Ruby On Rails.

Imbra Telecom S.L. August 2008 - July 2010

Project manager and Software Engineer

I worked on Lirondo project that is tourism social network where people share information about a place and everybody can make a review of that place. This Web site has all cities and towns around the world and some information posted by the users.

See more in