Ruben Martins
Assistant Research Professor, Master’s Program Director
Office 7129 Gates and Hillman Centers
Email rubenm@andrew.cmu.edu
Department
Computer Science Department
Administrative Support Person
Emily Spencer
Research Interests
Systems
Advisees
Margarida Ferreira Farina
CSD Courses Taught
15604 - Fall, 2025
15639 - Fall, 2025
15816 - Fall, 2025
15698 - Fall, 2025
15697 - Fall, 2025
15689 - Fall, 2025
15698 - Summer, 2025
15697 - Summer, 2025
15691 - Summer, 2025
15689 - Spring, 2025
15639 - Spring, 2025
15698 - Spring, 2025
15697 - Spring, 2025
15690 - Spring, 2025
15689 - Fall, 2024
15639 - Fall, 2024
15604 - Fall, 2024
15697 - Fall, 2024
15698 - Fall, 2024
15414 - Spring, 2024
15614 - Spring, 2024
Biography
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.
Research interests lie in the intersection of constraint programming with program synthesis, analysis, and verification. Recent research focuses on using programming synthesis to improve programmer’s productivity and to automate data science-related tasks.