Teaching
State University of Stony Brook
Jan 2001 - Jan 2002 (1 year 1 month)
Teaching assistant at Stony Brook Computer Science department. Topic: Foundations of Computer Science Students: ~30 students per class. Education curriculum: Syntax and semantics, conditional statements, valid and invalid arguments, analytic tableaux, normal forms, digital logic circuits, Integers and divisibility, rationals and irrationals, functions and sets, properties of functions, composition, inverse functions, hashing, pigeonhole principle, recursive function definitions, recursion (recursive functions on lists), functional programming, mutual recursion, towers of Hanoi, mathematical induction, finite state automata, relations and partial orders, properties of graphs, binary trees, search/traversal, predicate logic, quantifiers, argu