Teaching Experience

CS 3600 · Introduction to Artificial Intelligence

Course topics included intelligent systems, search and problem solving, supervised learning, and reinforcement learning.

CS 8803 · Formal Methods in Reinforcement Learning

A graduate special-topics course connecting formal specifications and verification methods with reinforcement learning.

CS 8803 · SAT/SMT Solvers

A graduate course covering logic, DPLL and CDCL, SMT architectures, and applications to symbolic execution and testing.