gerund-grinder

Noun

 * 1) A rigid or pedantic teacher.