Generate a tailored SOP for Dr. Ruben Martins. Improve your application with a focused, well-structured draft.
Ruben received his Ph.D. honors from the Technical University of Lisbon, Portugal in 2013. He served as a postdoctoral researcher at the University of Oxford, UK from 2014 to 2015, and at the University of Texas at Austin from 2015 to 2017. He has published in top-tier venues including POPL, PLDI, FSE, SAT, and CP, and won a distinguished paper award at PLDI in 2018 for his work on program synthesis. Additionally, Ruben developed award-winning constraint solvers and is the main developer of Open-WBO, an open-source Maximum Satisfiability (MaxSAT) solver that has won gold medals in MaxSAT competitions. His work with Open-WBO includes applications that solve real-world discrete optimization problems, such as finding the optimal seating arrangement for his own wedding. His research interests lie at the intersection of constraint programming, program synthesis, analysis, and verification, with a recent focus on using programming synthesis to improve programmer productivity and automate data science-related tasks.
Carnegie Mellon University • Pittsburgh, PA
Director of the Master’s Program
Admission is extremely competitive with no strict GPA cut-offs; holistic review is used.