I am currently an associate data scientist at the New Product Development group at JP Morgan, researching applications of machine learning and data analysis techniques applied to challenges faced in the financial sector. In 2014 I was a post-doc at the IBM Thomas J. Watson Research Center where my research focused on a cross of machine learning, combinatorial optimization, data mining and data analytics. Before this, I was a post-doc at the Cork Constraint Computation Centre working with Barry O'Sullivan. While at 4C my work centered around automated algorithm configuration, algorithm portfolios, algorithm scheduling, and adaptive search strategies. The goal of this study was two fold. First, it aimed to develop the mechanisms to determine the structure of problems and its association with the behavior of the different solvers. Second, to develop methodologies that automatically adapt existing tools to the instances they will be evaluated on. I finished my PhD at Brown University in 2012 working with Meinolf Sellmann. The thesis developed the Instance-Specific Algorithm Configuration (ISAC) approach that focuses on training different categories of parameterized solvers. Specifically, my research showed that many combinatorial problems can be decomposed into a representative vector of features that are associated with the behavior of the applied algorithm. ISAC exploits this observation by automatically detecting the different sub types of a problem and then training a solver for each variety. This technique was explored on a number problem domains, including set covering, mixed integer, satisfiability, container stowage, set partitioning, and local search problems. ISAC was later further expanded to demonstrate its application to traditional algorithm portfolios and adaptive search methodologies. In all cases, marked improvements were shown over the existing state-of-the-art solvers. |
Competitions |
Max-SAT 2015. ISAC+ won 4 gold medals in the complete solver tracks.Carlos Ansotegui, Joel Gabas, Yuri Malitsky, Meinolf Sellmann. |
Runner-Up for the 2014 ACP Doctoral Thesis Award. |
Max-SAT 2014. ISAC+ won 3 gold medals, 1 silver, and 3 bronze in the complete solver tracks.Carlos Ansotegui, Joel Gabas, Yuri Malitsky, Meinolf Sellmann. |
Max-SAT 2013. ISAC+ won 6 gold medals, 3 silver, and 1 bronze in the complete solver tracks.Carlos Ansotegui, Joel Gabas, Yuri Malitsky, Meinolf Sellmann. |
SAT 2013. CSHC won 2 gold medals, one in the Open Track and the other in the Random Track.Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann. |
SAT Challenge 2012. Industrial Satisfiability Solver (ISS) won the "Best Interacting Multi-Engine Approach in the Application Track". Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann. |
SAT 2011. 3S won 7 medals, including a gold in the Handcrafted instance category, and another gold in the Randomly generated instance category. Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann. |