PhD defense

Pavel Tokmakov (Thoth, now at CMU) will defend his thesis on 4th June.