Generate a tailored SOP for Dr. Ruben Martins. Improve your application with a focused, well-structured draft.
Ruben Martins is an Assistant Research Professor at Carnegie Mellon University, specializing in the intersection of constraint programming, program synthesis, analysis, and verification. He has a rich academic background, having received his Ph.D. with honors from the Technical University of Lisbon, Portugal, in 2013. Following this, he conducted postdoctoral research at the University of Oxford in the UK from 2014 to 2015 and at the University of Texas at Austin from 2015 to 2017. His recent research primarily focuses on utilizing programming synthesis to enhance programmer productivity and automate tasks related to data science. Martins is an accomplished researcher who has published in renowned conferences such as POPL, PLDI, FSE, SAT, and CP, receiving a distinguished paper award at PLDI 2018 for his work on program synthesis. He is also the main developer of Open-WBO, an award-winning open-source Maximum Satisfiability (MaxSAT) solver that has achieved gold medals in various MaxSAT competitions. Furthermore, Open-WBO has been effectively applied to solve real-world discrete optimization problems, including the optimal seating arrangement at his own wedding.
University of Oxford • Oxford, UK
Conducted postdoctoral research focusing on program synthesis and verification.
University of Texas at Austin • Austin, TX
Engaged in advanced research in the areas of programming analysis and software verification.
Admission is extremely competitive with no strict GPA cut-offs; holistic review is used.