diff --git a/thesis.tex b/thesis.tex index d9b39d0..1d1e520 100644 --- a/thesis.tex +++ b/thesis.tex @@ -327,7 +327,7 @@ I have had the pleasure of working in LFCS at the same time as James McKinna. James has always taken a genuine interest in my work and - challenged me with intellectually stimulating questions. I have + challenged me with intellectually stimulating questions. I appreciate our many conversations even though I spent days, weeks, sometimes months, and in some instances years to come up with adequate answers. I also want to thank other former and present @@ -335,13 +335,13 @@ Cheney, J. Garrett Morris, Gordon Plotkin, Michel Steuwer, Philip Wadler, and Stephen Gilmore. - My time as a student in Informatics Forum has been an enjoyable - experience in large part thanks to my student peers and friends: - Amna Shahab, Chris Vasiladiotis, Craig McLaughlin, Dan Mills, Danel - Ahman, Frank Emrich, Emanuel Martinov, Floyd Chitalu, Larisa - Stoltzfus, Jakub Zalewski, Maria Gorinova, Marcin Szymczak, Paul - Piho, Philip Ginsbach, Radu Ciobanu, Rajkarn Singh, Rudi Horn, - Shayan Najd, Stan Manilov, and Vanya Yaneva-Cormack. + My time as a student in Informatics Forum has been enjoyable in + large part thanks to my friends: Amna Shahab, Chris Vasiladiotis, + Craig McLaughlin, Dan Mills, Danel Ahman, Frank Emrich, Emanuel + Martinov, Floyd Chitalu, Larisa Stoltzfus, Jakub Zalewski, Maria + Gorinova, Marcin Szymczak, Paul Piho, Philip Ginsbach, Radu Ciobanu, + Rajkarn Singh, Rudi Horn, Shayan Najd, Stan Manilov, and Vanya + Yaneva-Cormack. Thanks to Ohad Kammar for being a good friend, taking a genuine interest in my work, making it fun to attend virtual conferences,