Professor: Leonid Libkin
Room: PT398A
Office hours: by appointment
Class meets: Thu 3--5pm, SS 2106
IMPORTANT: I am away until January 13; the first class will be on January 16
Requirements: Problem Set (constantly updated;
no more than 50% to be attempted) - 30%
Class presentation - 20%
Project - 50%
Problem Set