Speaker: Katarzyna Marek
<u>EDIC candidacy exam</u><br>
Exam president: Prof. Thomas Bourgeat<br>
Thesis advisor: Prof. Clément Pit-Claudel<br>
Co-examiner: Prof. Viktor Kuncak<br>
<br>
<u>Abstract</u><br>
<br>
<u>Selected papers</u><br>
- Hamilton, “The Next 700 Program Transformers.”, <a href="https://link.springer.com/chapter/10.1007/978-3-030-98869-2_7">https://link.springer.com/chapter/10.1007/978-3-030-98869-2_7</a><br>
- Johann and Voigtländer, “Free Theorems in the Presence of Seq.”, <a href="https://dl.acm.org/doi/pdf/10.1145/964001.964010">https://dl.acm.org/doi/pdf/10.1145/964001.964010</a><br>
-