Pedantic.
A person who is overly concerned with formal rules and trivial points of learning.
A person who makes an excessive or tedious show of their knowledge, especially regarding rules of vocabulary and grammar.