What grading involves:
======================
Each student will need to grade 1/4th the homework assignment,
and will also need to write up the answers for their assigned
questions in Latex for inclusion in a sample solution.

You can drop any one out of the 6 homeworks, and this
could be the one you grade, but it doesn't have to.

Grading a homework assignment is a mandatory requirement for
passing this course.


Homework grading schedule
==========================

HW	Graders

1	Liviu Tancau, Mike Case, Kelvin Lwin, Dave Mandelin

2	Bryan Brady, Wei Zheng, Jike Chong, Donald Chai

3	Armando Solar-Lezama, Gilad Arnold, Zach Anderson, Evan Chang

4	Adam Chlipala, Yang Yang, Thomas Feng, Lynn Wang

5	Nathan Kitchen, Bill McCloskey, Manu Sridharan

6	Alessandro Abate, Qi Zhu