Possible topics include: a recollection of notions in complexity theory, the state of the art for P vs NP, and how SAT solving could help prove great theorems in complexity theory
Josef Raviv Fellow at IBM since September 2009