педант

педант; сухарь (разг. ирон.) См. также формалист