Research - main areas:
Monte Carlo and exact methods in game-tree search;
exploration in heuristic search and machine learning;
domain-independent classical planning;
algorithms in combinatorial game theory.
Problem Solving Club!
Come learn and practice your algorithms, programming and problem-solving.
You can participate in the Alberta provincial contest,
the Rocky Mountain regionals, and maybe even in the
ACM-ICPC world finals!
In any case, you are guaranteed to have fun and learn a lot.
You can also take
Nov 19: Scotiabank announces a $1.25M donation for the
Scotiabank Artificial Intelligence Research Initiative. See the
Science News article.
Nov 10: The paper "Guiding CDCL SAT search via random exploration amid
has been accepted for oral presentation
(only 5.8% of all submitted papers are)
Nov 4: we will receive funding from UAHJIC to work with
Hengshuai Yao of Huawei.
Ting-Han Wei starts as a postdoc in our group.
Gaojian Fan won our department's Ph.D. Outstanding Thesis Award.
Sep 4: Teaching my first CMPUT 174 "after MOOC" section
Sep 3: The paper "Maximum Entropy Monte Carlo Planning" has been accepted for
Congratulations Chenjun and Jincheng!
End of Aug: Will is finishing his NSERC USRA.
Some of my grad students are finishing their summer internships at
Microsoft and Huawei
Aug 9: Solimul passed his candidacy exam today.
July 24: Elected as
an Amii Fellow.
Amii is the Alberta Machine Intelligence Institute.
July 12: Great results for Solimul's SAT solvers in
SAT Race 2019!
Second place for expMaple_CM_GCBumpOnlyLRB in the UNSAT Track,
and third place for expMaple_BumpOnly in the
SAT+UNSAT combined track with SCR scoring
(total number of solved instances, coverage).
July 1: The paper "Exploiting glue clauses to design effective CDCL
branching heuristics" has been accepted for
July 1: Awarded the inaugural
DeepMind Chair in Artificial Intelligence in our department!
May 13: Yunpeng starts his internship at Microsoft,
and Chenjun starts his internship at Huawei.
May 10: The paper "On Principled Entropy Exploration in Policy Optimization"
has been accepted for
Congratulations Jincheng and Chenjun!