Filip Sieczkowski

I am an assistant professor in the Institute of Computer Science at the University of Wrocław, where I am part of the Programming Languages research group. My interests involve formal semantics and verification of programming languages, with particular focus on the interaction of higher-order and imperative features, and on control effects.

Before returning to the University of Wrocław, where I received my Masters' degree in 2010, I have completed a PhD at the IT University of Copenhagen, under direction of Professors Lars Birkedal and Peter Sestoft, as well as two post-docs: at Aarhus University (again with Lars Birkedal) and at Inria Paris (in Gallium team, as part of Umut Acar's DeepSea project).