Menu

May 13, 2025, 11:58 a.m.

The ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025) has honored Filip Sieczkowski's publication Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning with the Most Influential POPL Paper award.

The award recognizes a paper from POPL 2015 that has had the most significant impact on programming languages research over the past 10 years. POPL is one of the most prestigious scientific conferences in this field worldwide.

Congratulations to Filip and his co-authors: Ralf Jung, David Swasey, Kasper Paabøl Svendsen, Aaron Joseph Turon, Lars Birkedal and Derek Dreyer

Filip has been associated with the University of Wrocław for many years. He is currently working at Heriot-Watt University in Edinburgh, but will return to Wrocław next year. UWr students can now vote for Filip's proposals in the teaching offer ballot for the next academic year.

Filip Sieczkowski