Question: Which department has the highest average salary of professors?
SQL: SELECT dept_name FROM instructor GROUP BY dept_name ORDER BY avg ( salary )  DESC LIMIT 1