Sonia Santiago Pinazo

Ph. D. in Computer Science

Postdoctoral researcher at the Formal Methods and Declarative Languages Laboratory research group, at University of Illinois at Urbana-Champaign (USA)

Collaborator of the Extensions Logic Programming (ELP) research group at Universitat Politècnica de València (Spain)


Sonia Santiago Pinazo
Departamento de Sistemas Informáticos y Computación
Universitat Politècnica de València
Camino de Vera s/n, E-46022 Valencia (Spain)

Phone: +34 963 877 007 (Ext. 83529)

Fax: +34 963 877 359

Office 2L01 (1F - DSIC building)




Research Interests


Ph. D. Thesis




Interesting Links



Last modified on November the 25th, 2015