Education

Technical University of Valencia September 2010 - July 2011

Master in Software Engineering, Formal Methods and Information Systems

Department of Computer Systems and Computation.

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


Technical University of Valencia September 2005 - June 2010

Computing degree, Software engeneering

Professional skills

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

Software

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

Imperative Languages

  • HTML/CSS
  • JavaScript
  • PHP
  • Ruby On Rails
  • Java
  • ...

Declarative Languages

  • Prolog
  • Maude
  • Haskell

Others

  • SEO
  • Community
    management
  • MySQL
  • ...

Work Experience

Technical University of Valencia January 2011 - present

Researcher

I am a PhD student (supported by FPU-ME grant AP2010-5681) under the supervision of María Alpuente and Daniel Romero.


Pascual Tomas' fundation March 2011 - present

Teacher

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 my LinkedIn profile