Md Solimul Chowdhury
Automated Reasoning Researcher
Hire this person
Send a job offer directly to this candidate
About
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
