Mathematical Foundations of CS
Rigorous proof based discrete math class.
Principles of Imperative Computation
Algorithms and data structures in C.
Matrices and Linear Transformations
Semi-proof based class on linear algebra concepts for computer science.
Principles of Functional Programming
Proof and programming based class using functional language SML.
Great Ideas in Theoretical CS
Rigorous proof based class on computation and complexity theory.
Calculus in 3D
Multivariate calculus.
Intro to Computer Systems
Fundamentals of computer systems.
AI Representation and Problem Solving
Theory and programming class for modern techniques in AI.
Probability Theory for CS
Probability class for the study of both statistics and random systems.
Intro to ML
Theory and programming class for modern techniques in ML.
Parallel and Sequential Data Structures and Algs
Advanced algorithms/data structures class with emphasis on parallel thinking.
Intro to Computer Security
Theory and programming based class on fundamentals of computer security.
Cognitive Robotics
Exploring intelligent behavior in mobile robots using Cozmo by Anki.