Meaning of deride

(verb) treat or speak of with contempt; "He derided his student's attempt to solve the biggest problem in mathematics"