Courses Taught at University of California, Santa Cruz

• Programming Languages - CSE210 (Graduate Course) - Spring 2024, Teaching Assistant
  With Prof. Owen Arden
  Formal Verification using Coq Proof Assistant
• Foundations of Programming Languages - CSE114 (Undergrad Course) - Winter 2024, Head TA
  With Prof. Cormac Flanagan
  Lambda Calculus, Type-system, Haskell programming
• Foundations of Programming Languages - CSE114 (Undergrad Course) - Fall 2023, Teaching Assistant
  With Prof. Owen Arden
  Lambda Calculus, Type-system, Haskell programming
• Programming Languages - CSE210 (Graduate Course) - Spring 2023, Teaching Assistant
  With Prof. Owen Arden
  Formal Verification using Coq Proof Assistant
• Analysis of Algorithms - CSE102 (Undergrad Course) - Winter 2023, Teaching Assistant
  With Prof. Allen Van Gelder
  Analysis of BFS, DFS, greedy, dynamic programming approaches
• Introduction to Algorithms and data structures - CSE101 (Undergrad Course) - Fall 2022, Teaching Assistant
  With Prof. Ioannis Demertzis
  Linked lists, Trees,Heaps, Graphs, C++
• Advanced Programming - CSE111 (Undergrad Course) - Spring 2022, Teaching Assistant
  With Prof. Wesley Mackey
  Multi-threaded programming, client/server applications in C++
• Programming Languages - CSE210 (Graduate Course) - Spring 2021, Head Teaching Assistant
  With Prof. Cormac Flanagan
  Mentored students for their course projects
• Advanced Programming - CSE111 (Undergrad Course) - Summer 2019, Teaching Assistant
  With Prof. Wesley Mackey
  Multi-threaded programming, client/server applications in C++
• Compiler Design - CSE104 (Undergrad Course) - Fall 2018, Teaching Assistant
  With Prof. Wesley Mackey
  Lexer, Parser, Linker, Abstract syntax tree