May 27, 2022, 4:24 p.m.

We would like to invite you to the public defence of Piotr Polesiuk's PhD thesis, which will take place on 10 June 2022, at 13.00 in room 25 of the Institute of Computer Science, UWr.

Title of the dissertation: Reasoning about control effects from program equivalence to language design

The thesis was supervised by Dariusz Biernacki (UWr), and the reviewers were Derek Dreyer (Max Planck Institute for Software Systems) - review - and Davide Sangiorgi (Universita' di Bologna) - review.

Summaries of the reviews:

[ Piotr's thesis ] represents an outstanding contribution in the area of relational reasoning and language design for languages with delimited control and algebraic effects. There is more than enough work presented here to fill multiple dissertations, but despite its somewhat sprawling content, there is nevertheless a strong degree of thematic unity, and the work itself clearly demonstrates Piotr’s proficiency with the most advanced “tools of the trade”. Furthermore,
I expect that his work on type systems and logical relations for effect handlers, taking as it does a reasoning-centric perspective, will have impact on the direction of this rapidly evolving field of study. I therefore strongly recommend that Piotr be awarded the PhD with distinction (
Derek Dreyer (Max Planck Institute for Software Systems))

I found the thesis truly remarkable, both in quantity (number of results, number of publications) and in quality (originality. depth and breath of the contributions). The exceptional quality is also witnessed by the venues of the publications. including 3 LMCS, 3 POPL, 1 FOSSACS — very top venues for papers in programming languages. I was highly impressed by the technicalities of the contributions, often 'very non-trivial. and yet formalized and carried out in a very elegant manner, I was also very impressed by the interplay between theory and practice: each chapter presents technical results. but their practical impact is always carefully evaluated. (...)
 In summary, I consider this thesis clearly above the average level of a PhD thesis. I would like to congratulate both the author and his PhD advisor, as well as the collaborators, for the work done. I also strongly recommend the Scientific Council to vote the thesis as outstanding tor excellent (...)
(Davide Sangiorgi (Universita' di Bologna))