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-2017 Roberto Castañeda Lozano
Template design by Andreas Viklund