Ruben Martins


I am a Postdoctoral researcher in the group of Işıl Dillig at the Department of Computer Science in the University of Texas at Austin. The goal of my research is to improve constraint solvers and broaden their usage for more industrial applications. I have developed several award winning optimization solvers in C++ and have consistently improved the state-of-the-art in Maximum Satisfiability (MaxSAT) solving. I am currently the main developer of Open-WBO: an open source MaxSAT solver that won several awards for partial MaxSAT in the MaxSAT Evaluations of 2014 and 2015. At UT Austin I am working on the MUSE project (Mining and Understanding Software Enclaves) and we are shaping the future of program synthesis and program repair with novel MaxSAT applications.

You can find more information about me in my previous webpage. For more information regarding my publications, see my Google Scholar Profile or DBLP.
E-mail: rmartins@cs.utexas.edu

Last updated: January 13, 2016