Roberto Castañeda Lozano

I am a researcher at the Computer Systems Laboratory, RISE RICS (Swedish Institute of Computer Science).

I am interested in programming languages and combinatorial optimization. During my doctoral education at KTH Royal Institute of Technology (completed in 2018), I have studied the application of constraint programming to compiler optimization in the Unison project. The project has made a broad impact, including numerous publications in international venues, a mature and reusable open-source tool, and industrial value.

Other areas of interest are software testing and verification. I am always open to broaden the scope of my research, so do not hesitate contacting me with exciting research ideas!