Vadim Bulitko, Ph.D.

Professor, Faculty of Science - Computing Science

Contact

Professor, Faculty of Science - Computing Science
Email
bulitko@ualberta.ca

Overview

About

Education

  • 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

Research

Areas

Artificial Intelligence

Video Games

Summary

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. 

Lab

Bulitko's Research Lab

Courses

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.

Fall Term 2021

Browse more courses taught by Vadim Bulitko