Vadim Bulitko, Ph.D.
Professor, Faculty of Science - Computing Science
Contact
Professor, Faculty of Science - Computing Science
- bulitko@ualberta.ca
Overview
About
Education
- M.Sc., Computer Science, University of Illinois at Urbana-Champaign, 1998
- Ph.D., Computer Science, University of Illinois at Urbana-Champaign, 1999
Research
- Heuristic search
- Program synthesis
- Deep learning for sound
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: CMPUT 101, 174, 175, 274, SCI 100, or ENCMP 100.