pedant

a person who is excessively concerned with minor details and rules

“The pedant corrected everyone's grammar during casual conversations.”

Origin: Italian pedante teacher, schoolmaster, possibly from Latin paedagogans teaching