The world consists of a totality of interconnected atomic facts, and propositions make pictures of the world.
- Ludwig Wittgenstein -

Md Solimul Chowdhury, PhD

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


  • 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


Peer-reviewed Publications

Work Experience

SAT Competition Medals

SAT Competition 2023

SAT Competition 2022

SAT Competition 2021

SAT Race 2019

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

Program Committee Member

External Reviewer