Daniel Larraz Hurtado and Jorge Muñoz Gama, former doctoral students at the PhD program in Computing, have been distinguished by the UPC Doctoral School with the “Premi Extraordinari de Doctorat”. The distinction is awarded to the bests doctoral dissertations defended at UPC in the course 2014-2015.
Daniel Larraz developped the thesis “Automatic Program Analysis using Max-SMT” under the supervision of Prof. Albert Rubio. He holds now a postdoctoral research scholar at the University of Iowa.
Jorge Muñoz developped the thesis “Conformance Checking and Diagnosis in Process Mining” under the supervision of Prof. Josep Carmona Vargas. He works as an Assistant Professor and Researcher at the Department of Computer Science (DCC), at the Pontificia Universidad Católica de Chile (UC).