CS 610 - Models of Computing

Prerequisites, equivalent of MATH 211, CPSC 406. In this course, students will study the mathematical models of computing from a contemporary perspective. The course will explore the connections between classical automata, operational and denotational semantics, and contemporary models of quantum computing. The theory developed in the course will be applied to specific known problems, e.g., in control theory (finite automata), real number computing (operational and denotations models), and cryptography (quantum computing). (Offered as needed.) 3 credits