Ruben Martins
Associate Research Professor
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, Doctor of Philosophy (PhD) Computer Science at Instituto Superior Técnico
English, Portuguese
Github Skills (10)
solver8
synthesis6
synthesizer6
mojo6
sat-solver5
java-api5
component-based3
vulnerability3
static-analysis2
distributed-systems1
Programming languages (5)
Github contributions (5)
rubengmartins/sat-group.github.io
Dec 2016 - Mar 2024
Contributions:1 push, 1 branch in 7 years 4 months
cmu-research/cmu-research.github.io
Aug 2023 - Apr 2026
Contributions:115 pushes, 1 branch in 2 years 8 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.