Roberto Castañeda Lozano

I am interested in all flavours of declarative programming, especially in constraint programming.

Currently I am studying the application of constraint programming to compiler optimization. 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.