Name:Filip Sieczkowski

Country:Poland

Affiliation:University of Wrocław

Research interests:Verification, Program Logics, Module Systems, Continuations