Vadim Bulitko, Ph.D.

Professor, Faculty of Science - Computing Science


Professor, Faculty of Science - Computing Science




  • B.Sc., Mathematics, Odessa State University, 1995
  • M.Sc., Computer Science, University of Illinois at Urbana-Champaign, 1998
  • Ph.D., Computer Science, University of Illinois at Urbana-Champaign, 1999



Artificial Intelligence

Video Games


Vadim Bulitko is a Professor at the University of Alberta (Department of Computing Science). He received his Ph.D. in computer science from the University of Illinois at Urbana-Champaign in 1999. Vadim is interested in building artificial general intelligence as well as understanding intelligence and cognition in humans and animals. 


Bulitko's Research Lab


CMPUT 272 - Formal Systems and Logic in Computing Science

An introduction to the tools of set theory, logic, and induction, and their use in the practice of reasoning about algorithms and programs. Basic set theory; the notion of a function; counting; propositional and predicate logic and their proof systems; inductive definitions and proofs by induction; program specification and correctness. Prerequisites: Any 100-level CMPUT course, CMPUT 274 or SCI 100.

Winter Term 2021
CMPUT 366 - Intelligent Systems

Introduction to artificial intelligence focusing on techniques for building intelligent software systems and agents. Topics include search and problem-solving techniques, knowledge representation and reasoning, reasoning and acting under uncertainty, and machine learning (including neural networks). Recent applications such as planning and scheduling, diagnosis, decision support systems, and data mining. Prerequisites: CMPUT 204 or 275; one of STAT 141, 151, 235 or 265 or SCI 151.

Fall Term 2020

Browse more courses taught by Vadim Bulitko