Math 145: Algebra (Fall 2021)

Instructor: David Jao
Office hours: Tue. & Thu. 12:00-1:30pm EDT in DC 2531

Teaching assistants

Dene Lepine dlepine Office hours: Mon. & Wed. 10:00-11:30am EDT in DC 2531
Nicole Kitt nkitt Office hours: Mon. & Fri. 9:00-10:00am EDT in (online)
Yash Vardhan Singh yvsingh Office hours: Thu. & Fri. 10:00-11:00am EDT in (online)


Please join the discussion forum on Piazza ( for assistance with the course, discussions of assignment problems and administrative issues.

Course materials


Use this web page ( to submit all of your Coq assignments.