Which building does the instructor who teaches the most number of courses live in?
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