Ruben Martins
Assistant Research Professor at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolRuben Martins is an Assistant Research Professor at Carnegie Mellon University with a decade of research experience at the intersection of constraint programming, program synthesis, analysis, and verification. He holds a PhD with honors from Instituto Superior Técnico and completed postdoctoral stints at Oxford and UT Austin, producing award-winning work including a distinguished paper at PLDI 2018. Ruben is the main developer of Open-WBO, a leading open-source MaxSAT solver that has repeatedly won competition golds and been applied to real-world discrete optimization problems—even optimizing his own wedding seating. His recent work focuses on leveraging program synthesis to boost programmer productivity and automate data-science tasks, bridging deep theoretical expertise with practical tooling. Based in Pittsburgh, he combines strong publication pedigree (POPL, PLDI, FSE, SAT, CP) with hands-on solver engineering that impacts both research and industry applications.
10 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Graduated with honours, Doctor of Philosophy (PhD), Computer Science, Graduated with honours at Instituto Superior Técnico
English, Portuguese
Github Skills (11)
solver8
boolean8
crossword6
mojo6
sat5
synthesizer5
synthesis5
sat-solver4
constraint-programming3
component-based3
java3
Programming languages (5)
Github contributions (5)
maxsat-evaluations/maxsat-evaluations.github.io
May 2019 - Aug 2022
Website for MaxSAT Evaluations
Contributions:33 commits, 1 PR, 38 pushes in 3 years 3 months
evaluationsmaxsat
rubengmartins/sat-group.github.io
Dec 2016 - Mar 2024
Contributions:1 push, 1 branch in 7 years 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.