Roberto Castañeda Lozano

Researcher @ RISE SICS | PhD student @ KTH

I am a researcher at the Computer Systems Laboratory of the Swedish Institute of Computer Science, and a PhD candidate at the Software and Computer Systems unit of KTH Royal Institute of Technology.

I am interested in programming languages and combinatorial optimization. Currently I am studying the application of constraint programming to compiler optimization in the Unison project. My main supervisor is Christian Schulte, and my co-supervisors are Ingo Sander and Mats Carlsson. Another area of interest is everything that attempts to make software more reliable, from formal verification to test automation.

Unison is open-source: check out the project website for more details!

© 2014-2018 Roberto Castañeda Lozano
Template design by Andreas Viklund