Computer Science degree at the University of Málaga. PhD in Computer Science at the University of Málaga in November 2009, titled "Techniques for the Automatic Analysis of Software Described in Programming Languages".
