The second half is taught by Bijan Parsia. You can find various useful links on this page, including to the HTML versions of the slides (which have lots of links).