27 maja 2022 16:24
Publiczna obrona rozprawy doktorskiej Piotra Polesiuka
Zapraszamy na publiczną obronę doktoratu Piotra Polesiuka, która odbędzie się 10 czerwca 2022 roku, o godz. 13.00 w sali 25 Instytutu Informatyki UWr.
Tytuł rozprawy: Reasoning about control effects from program equivalence to language design
Promotorem pracy był Dariusz Biernacki (UWr), a recenzentami Derek Dreyer (Max Planck Institute for Software Systems) - recenzja - oraz Davide Sangiorgi (Universita' di Bologna) - recenzja.
Podsumowania recenzji:
[ 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))