Teaching Assistant
Undergraduate Course, Department of Computer Science, University of British Columbia, 2018
CPSC 421 - Introduction to Theory of Computing
Characterizations of computability (using machines, languages and functions). Universality, equivalence and Church’s thesis. Unsolvable problems. Restricted models of computation. Finite automata, grammars and formal languages.