Task: Text to Code
Input (English): Which building does the instructor who teaches the most number of courses live in?
Output (English): SELECT T2.Building FROM COURSE AS T1 JOIN FACULTY AS T2 ON T1.Instructor  =  T2.FacID GROUP BY T1.Instructor ORDER BY count(*) DESC LIMIT 1