Dr Ruben Martins
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.