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.

Publications

Teaching Assistant

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

Contact

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

Address

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