Два месяца назад я, наконец, защитил свою диссертацию. На фотке я туплю во время защиты. В общем, зовите меня теперь Doctor of Philosophy (Ph.D.) в области Computer Science. Текст диссертации можно тут глянуть если интересно: https://ekotelnikov.com/phd-thesis.pdf. (Работа про то как заставить методы автоматического доказательства теорем в логике первого порядка лучше работать для разных приложений, в первую очередь для верификации программ.)
Чтобы дойти до жизни такой потребовалось за 5 лет написать 7 статей, отрецензировать ещё с дюжину, сдать 13 курсов, съездить на 15 конференций, 3 летних школы и одну трехмесячную стажировку, провести пару десятков консультаций и практик для студентов, проверить несколько сотен домашек и поруководить двумя магистерскими дипломами.
Я одновременно страшно рад что всё в итоге получилось и страшно задолбался, особенно в последние полгода. Поэтому план на ближайшие месяцы - отходить и рефлексировать. А там посмотрим.
Буду в Питере с 17-го по 23-е декабря, и буду рад снова со всеми увидеться!
