Find the name of the department which has the highest average salary of professors.
SELECT dept_name FROM instructor GROUP BY dept_name ORDER BY avg(salary) DESC LIMIT 1
highest average salary = MAX(AVG(salary)); department name refers to dept_name;