Ruben Martins

Ruben Martins

Assistant Research Professor

Carnegie Mellon University


Ruben Martins is an Assistant Research Professor at Carnegie Mellon University. His interests lie in the intersection of constraint programming with program synthesis, analysis, and verification. His recent research focuses on using programming synthesis to improve programmer’s productivity and to automate data science-related tasks. Ruben received his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013). He was a postdoctoral researcher at the University of Oxford, UK (2014-2015), and a postdoctoral researcher at UT Austin (2015-2017). He has published in top-tier venues, including, POPL, PLDI, FSE, SAT, CP, and has won a distinguished paper award at PLDI 2018 for his work on program synthesis. He has also developed several award-winning constraint solvers and is the main developer of Open-WBO: an open-source Maximum Satisfiability (MaxSAT) solver that won several gold medals in MaxSAT competitions. Open-WBO is used to solve many real-world discrete optimizations problems including finding an optimal seating arrangement for his own wedding.


  • Constraint Solving
  • Decision Procedures
  • Program Synthesis
  • Program Verification
  • Program Analysis


  • PhD in Information Systems and Computer Engineering, 2013

    University of Lisbon

  • M.Sc. and B.Sc. in Mathematics and Applications, 2008

    University of Lisbon


Selected Publications


PhD Students:

  • Daniel Ramos (ISR, Dual Degree CMU-Portugal, co-advised with Claire Le Goues and Vasco Manquinho)
  • Margarida Ferreira (CSD, Dual Degree CMU-Portugal, co-advised with Ines Lynce)
  • Ricardo Brancas (CSD, Affiliated CMU-Portugal, co-advised with Vasco Manquinho)
  • Aidan Yang (ISR, co-advised with Claire Le Goues and Vincent Hellendoorn)
  • Sophia Kolak (ISR, co-advised with Claire Le Goues and Vincent Hellendoorn)


I am always happy to work with undergraduate students at CMU for either SCS Independent Studies or during the Summer or the REUSE program.

Previous students that I mentored at CMU:

  • Joshua Clune (Research Project, 2019-2020)
  • Harutyun Rehanyan (REUSE, Summer 2020)
  • Aidan Yang (REUSE, Summer 2020)
  • Audrey Seo (REUSE, Summer 2019)
  • Daniel Gibert Llaurado (Visiting PhD Student, Fall 2019)
  • Aaron Meyers (Internship, Summer 2019)
  • Pedro Miguel Orvalho (Visiting MSc student., Spring 2019)
  • Rodrigo Bernado (Visiting MSc Student, Spring 2019)
  • Yinglan Chen (SCS Independent Studies, Spring 2019)
  • Clara Sellke (SCS Independent Studies, Fall 2018)
  • Naveen Pai (SCS Independent Studies, Fall 2018)
  • David Chen (SCS Independent Studies, Fall 2018)
  • Zachary Susag (REUSE, Summer 2018)
  • Avital Rabinovitch (Internship, Summer 2018)
  • Kaige Liu (SCS Independent Studies, Spring 2018)
  • Anlun Xu (SCS Independent Studies, Spring 2018)
  • Tianlei Pan (SCS Independent Studies, Spring 2018)
  • Mayank Jai (SCS Independent Studies, Spring 2018)

Contact me if you are an undergraduate student that wants to work on program verification or program synthesis for either SCS Independent studies or a summer internship.




  • Carnegie Mellon University, Gates Hillman Complex, GHC 7.129, 5000 Forbes Avenue , Pittsburgh, PA 15213