Llicenciat en Informàtica per la UPC (1996). Doctor en Informàtica per la UPC (2004). Professor de la UPC, 1996-1997. Becari UdG , 1997-1999. Professor UdG des de 1999. L'àmbit de recerca és la lògica i les seves aplicacions a la informàtica, com ara la resolució de problemes combinatoris, l'scheduling i el planning. Apassionat de la programació declarativa i de la computabilitat i la complexitat algorísmica. Pàgina personal: http://imae.udg.edu/~villaret