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!
