Christian Queinnec: Teaching CS to undergraduates at UPMC