Currently, Limits of Computation and Comparative Programming (both 3rd year courses). Some stuff at Wharton also.