Skip to main content

Ruben Martins

Personal photo - Ruben Martins

Dr Ruben Martins

Research Assistant

Leaving date: 31st May 2015


I am a Postdoctoral researcher in the Verification Group of Daniel Kroening at the Department of Computer Science in the University of Oxford. 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 the award for best unweighted MaxSAT solver in the MaxSAT Evaluation of 2014. Besides Boolean Satisfiabiity (SAT) and MaxSAT, I also work on the Satisfiability Modulo Theories (SMT) of bit vectors and arrays that are used in CBMC, a bounded model checker for C programs.

You can find more information about me in my previous webpage. For more information regarding my publications, see my CV, resume, Google Scholar Profile or DBLP.