Automated Reasoning Researcher
Send a job offer directly to this candidate
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.
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.
