Portrait of Daniel Larraz

Daniel Larraz

I am a PhD researcher at the Computer Science department (CS) of the Universitat Politècnica de Catalunya (UPC).

My research interests focus on the application of Satisfiability Modulo Theories (SMT) techniques for automatic program analysis.

From April through June 2014, I spent three months as a research intern at Microsoft Research Cambridge in the Programming Principles and Tools group.


Teaching Assistant

Programming Languages (2014-2015, Bachelor in Informatics Engineering).


Email: dlarraz at (replace at with @) cs.upc.edu
Phone: +34-934-137-862


Universitat Politècnica de Catalunya
Departament de Ciències de la Computació
Edifici Omega S-109
C. Jordi Girona, 1-3
08034 Barcelona, Spain.

Last updated: May 5, 2016