beBee background
Professionals
>
Edmonton
Md Solimul Chowdhury

Md Solimul Chowdhury

Automated Reasoning Researcher

Technology / Internet

Edmonton, Alberta

Social

About Md Solimul Chowdhury:

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.

Experience

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.

Education

 

PhD in Computing Science

  • Institution: University of Alberta, Canada
  • Completion: November 2021

Master's in Computing Science

  • Institution: University of Alberta, Canada
  • Completion: September 2011

Bachelor of Science in Computer Science and Engineering

  • Institution: Islamic University of Technology, Gazipur, Bangladesh
  • Details: Undergraduate degree before moving to Canada for higher studies

Professionals in the same Technology / Internet sector as Md Solimul Chowdhury

Professionals from different sectors near Edmonton, Alberta

Other users who are called Md Solimul

Jobs near Edmonton, Alberta

  • Market Intelligence Analyst – Analytics

    1 week ago

    Alberta Blue Cross Edmonton, AB TJ C

    Alberta Blue Cross currently has an opportunity for a Market Intelligence Analyst. · ...

  • Academic Liaison – School of Manufacturing and Automation (3046)

    4 days ago

    NAIT (Northern Alberta Institute of Technology) Edmonton

    We are seeking a dedicated and passionate Academic Liaison as part of our advising team supporting the School of Manufacturing & Automation at NAIT, · who will play a pivotal role in enhancing the student experience.This senior-level position combines various responsibilities, in ...

  • CIMPLICITY Implementation Specialist

    3 weeks ago

    Willowglen Systems Edmonton, AB TE V

    We are looking for an Intermediate Implementation Specialist to join our team. Be part of delivering innovative high-performing control systems that drive real-world success. · ...

See jobs in Edmonton, Alberta