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

Jobs near Edmonton, Alberta

  • This position supports the new undergraduate program in Mechatronics and Robotics Engineering. · The successful candidate will join a team of faculty members committed to an exceptional student experience, · teaching courses in the Mechatronics and Robotics Engineering Co-op unde ...

    Edmonton

    1 month ago

  • The Department of Electrical and Computer Engineering in the Faculty of Engineering at the University of Alberta is seeking applications for a full-time tenure-track Assistant or Associate Professor position in power systems engineering. · The successful candidate will join a tea ...

    Edmonton

    1 week ago

  • Work in company

    Senior Data Scientist

    FreeThink Capital Inc.

    We are looking for an individual who can identify, research, and implement opportunities for improvement using systematic, quantitative insights. The objective for this role is not to tweak at the margins, rather, to identify and tackle high-impact changes to core business strate ...

    Edmonton, Alberta

    1 month ago

See jobs in Edmonton, Alberta