I have successfully defended my Ph.D. thesis titled

Auxiliary Computations. A Framework for a Step-Wise, Non-Disruptive Introduction of Static Guarantees to Untyped Programs Using Partial Evaluation Techniques.

My thesis was accepted without modifications by my three examiners: Bruce Christianson, Olivier Danvy and Kevin Hammond. I will make my thesis available here as soon as I have found the time to reformat it for publication.

I am most grateful to my two supervisors, Sven-Bodo Scholz and Alex Shafarenko, for their support and guidance. A big thank you!