Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Ruben Martins

Registered user since Mon 4 Sep 2017

Name:Ruben Martins
Bio:

Ruben Martins is an Assistant Research Professor at Carnegie Mellon University. His interests lie in the intersection of constraint programming with program synthesis, analysis, and verification. His recent research focuses on using programming synthesis to improve programmer’s productivity and to automate data science-related tasks. 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.

Country:United States
Affiliation:Carnegie Mellon University
Research interests:Program Synthesis. Software Verification, Security, Decision Procedures, Boolean Satisfiability, MaxSAT

Contributions

ICSE 2023 Program Committee Member in Technical Track within the Technical Track-track
Show activities from other conferences

Using general profile