About Me
Welcome to my profile page. In my endeavor to find a tenure-track academic position in computer science, I bring a wealth of research experience in the area of automated reasoning (AR) gathered from various roles: as a Postdoctoral Research Associate at Carnegie Mellon University's School of Computer Science, as a PhD candidate at University of Alberta, and as an Applied Scientist Intern at Amazon Web Services. I also have 5 years of software development experience from Canada.My research area of AR explores computational frameworks that emulate reasoning aspects of cognition. In particular, I have worked in the area of boolean satisfiability (SAT) solving. SAT solving algorithms, generate proofs for statements in propositional logic and have practical applications in formal verification, theorem proving, and AI.
The SAT solvers improved through my research have advanced the field's state of the art, earning recognition with multiple awards in recent international SAT competitions.
My CV offers further details.
Research Thrusts
- 🧠 Improving SAT
- Enhancing SAT solving algorithms and heuristics to improve their efficiency
- 🔍 Deepening Understanding
- Deepening understanding of SAT solver's inner workings and AR at large
- 🤖 Neural Symbolic Integration
- Enhancing capability of AI systems by integrating AR and machine learning
- 🔐 Formal Verification in Fintech
- Formal verification smart contracts in blockchain, ensuring post-deployment reliability and safety
Updates
- March 2024 A paper titled Dissecting Conflict Generating Decisions in SAT has been accepted for SoCS-2024
- February 2024 Reviewer for JAIR
- February 2024 Working on a submission
- December 2023 Paper accepted for TACAS 2024
- November 2023 Program committee member for TACAS AEC 2024
- October 2023 Program committee member for AAAI 2024
Publications
Peer-reviewed Publications
- [11] Md Solimul Chowdhury, Martin Mueller, and Jia-Huai You. Dissecting Conflict Generating Decisions in SAT. SoCS-2024. (To Appear) [Paper] [Code]
-
[10] Md Solimul Chowdhury, Cayden Codel, and Marijn J. H. Heule. TaSSAT: Transferring and Sharing in SAT. TACAS-2024. (To Appear) [Paper] [Code]
- + Acceptance Rate: 33.33% (53/159)
-
[9] Md Solimul Chowdhury, Cayden Codel, and Marijn J. H. Heule: A Linear Weight Transfer Rule for Local Search.
NASA Formal Methods-2023. [Paper] [Code]
- + Acceptance Rate: 38.66% (29/75)
-
[8] Armin Biere, Md Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, and Michael W. Whalen (2022).
Migrating Solver State.
SAT 2022:27:1--27:24 [Paper] [Code]
- + Acceptance Rate: 44.28 % (31/70)
- + Nominated for a Best Paper Award (3/70)
-
[7] Md. Solimul Chowdhury, Martin Mueller, Jia-Huai You: Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI 2020. [Paper] [Code]
- + Acceptance Rate: 20.6% (1591/7737)
- + Selected for Oral Presentation
- + Oral Acceptance Rate: 5.8% (454/7737)
-
[6] Md. Solimul Chowdhury, Martin Mueller, Jia-Huai You: Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. CP 2019. [Paper] [Code]
- + Acceptance Rate: 36.36% (44/120)
-
[5] Md. Solimul Chowdhury, Martin Mueller, Jia-Huai You: Preliminary Results on Exploration-Driven Satisfiability Solving. AAAI 2018. [Paper]
- + Student Abstract Finalist (Top 18% of the accepted abstracts)
-
[4] Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng:
Flexible Approximators for Approximating Fixpoint Theory. Canadian Conference on AI 2016. [Paper]
- + Acceptance Rate: 40.20% (39/97)
-
[3] Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You:
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. LOPSTR 2014. [Paper]
- + Acceptance Rate: 52.95% (18/34)
-
[2] Md. Solimul Chowdhury, Jia-Huai You:
SAT with Global Constraints. ICTAI 2012. [Paper]
- + Acceptance Rate: 55.00% (165/300)
- [1] Md. Solimul Chowdhury, Md Sakibul Hasan, Sardar Anisul Haque: Haplotype inference by pure parsimony by SAT solver in distributed environment. IJCSNS:VOL.8 No.8:2008. [Paper]
Work Experience
- + , Feb, 2022 - 2024, School of Computing Science, Carnegie Mellon University, Pittsburgh, PA, USA
- + , 2021, Automated Reasoning@Amazon Research, Portland, OR, USA
- + , 2016 - 2021, Dept. of CS, University of Alberta, Edmonton, Canada
- + , 2011 - 2016, Technology North Corporation, Edmonton, Canada
- + , 2007 - 2009, Sylhet International University, Sylhet, Bangladesh
SAT Competition Medals
SAT Competition 2023
- + one medal: Parallel-Unsatisfiable Track (silver)
SAT Competition 2022
- + three medals : Satisfiable subtrack (bronze), Anniversary Track (bronze), Main Track (bronze)
SAT Competition 2021
- + two medals : Satisfiable subtrack (bronze), Main Track (bronze)
SAT Race 2019
- + one medal : Unsatisfiable subtrack (silver)
Fellowships, Scholarships, and Grants
- + NSERC Postdoctoral Fellowship, 2022 - 2024
- + Alberta Excellence Graduate Scholarship, 2021
- + Ernst Mach Scholarship, 2021 (declined due to COVID-19)
- + AAAI Student Scholarship, 2020
- + Doctoral Program Travel Grant (CP 2019)
- + Alberta Innovates Graduate Student Scholarship, 2018
- + President’s Doctoral Prize of Distinction, 2018-2020
- + NSERC PGS Doctoral Scholarship, 2018-2020
- + GSA Travel Award, 2018
- + AAAI Student Scholarship, 2018
- + QE II Doctoral Scholarship, 2016
- + AITF R&D Award Industrial, 2012-2014
- + Swedish Trust Scholarship, 2010
- + Entrance Scholarship, Islamic Univ. of Tech, 2004-2006
Academic Services
Journal Review
- + JAIR-2024, JSAT-2021
Program Committee Member
- + TACAS-2024 (AEC), AAAI-2024, AAAI-2023, AAAI-2021, IJCAI-2020, ECAI-2020
External Reviewer
- + CADE-2023, SoCS-2018, IJCAI-2017 , ASPOCP-2017 , AAAI-2017 , Canadian AI-2017 , ICAPS-2017, ICLP-2016 , KR2016 , AAAI-2016 ASPOCP-2015 , LPNMR-2015 , ICLP-2015 KSEM-2014, ICLP-2013, Canadian AI-2011