pedant
🇺🇸
/ˈpednt/
🇬🇧
/ˈpednt/
A person who is overly concerned with minor details or rules, often in an annoying way.
The pedant in the class always corrected the teacher's grammar, much to the annoyance of his classmates.