— Во время обучения в бакалавриате КТ [программа «Прикладная математика и информатика» ИТМО — Прим.ред.] я освоил довольно большой объем знаний и успел немного поработать разработчиком C++. Особенно мне понравились курсы по математической логике и теории типов — я даже три года вел семинары у студентов по этим дисциплинам. Вдохновленный темой и стремясь применить полученные знания, я решил попробовать себя в науке, сделать что-то новое, полезное и при этом сложное. Поэтому начиная с магистратуры, стал посещать разные конференции и, слушая доклады, задавал себе вопрос: «Хотел бы я сам чем-то таким заниматься?»

— Я планировал продолжать обучение в ИТМО и даже не рассматривал другие вузы, потому что мне нужно было закончить ВУЦ — иначе говоря военную кафедру. К сожалению, профиль ни одной магистерской программы университета не совпадал с моими научными интересами — формальная верификация и теория типов. Но поизучав информацию, я остановился на «Программировании и искусственном интеллекте»: благодаря большому количеству курсов по выбору мне удалось выстроить подходящий индивидуальный учебный план. Также у меня была не слишком большая нагрузка — 5 предметов в семестр, поэтому получалось совмещать с работой и написанием диплома.

Моя диссертация была посвящена формальной верификации компилятора языка смарт-контрактов LIGO, но это была скорее инженерная работа, так как я применял уже известные подходы, а не придумывал новые. Диплом писал в компании Serokell, куда специально и устроился на работу, чтобы найти интересную тему для ВКР.

— В бакалавриате я посетил летнюю школу SPTDC 2019, где Виталий Аксенов [руководитель магистерской программы «Программирование и искусственный интеллект» — Прим.ред.] познакомил меня с Антоном Подкопаевым и Евгением Моисеенко из JetBrains Research, которые работали с моим будущим научником — Виктором Вафеядисом. Мне понравилась тема его работ и я стал немного следить за деятельностью Виктора.

Когда я оканчивал магистратуру, заметил на персональной странице Виктора, что он ищет Ph. D. студентов. Я написал ему, мы созвонились и сразу решили, что друг другу подходим. Предполагаю, что наши общие знакомые написали на меня хорошие отзывы, так что между первым письмом Виктору и тем, когда я начал готовить документы для зачисления, прошло буквально две недели.

— Перед созвоном Виктор попросил меня заполнить официальную форму для подачи на Ph. D., где в том числе нужно было указать средний балл за бакалавриат и магистратуру, написать мотивационное письмо и предоставить адреса электронной почты двух людей, которые могут дать на меня отзыв. К счастью, у меня к тому времени уже было европейское приложение к дипломам, поэтому все заняло буквально пару дней. После этого мы с Виктором созвонились, и я начал оформлять документы для трудоустройства и визы. Офис MPI-SWS очень мне в этом помог, и я просто делал все по их списку. Мне прислали трудовой контракт и сопроводительное письмо, поэтому проблем с визой не было. Потом мне купили билеты, чтобы приехать. А когда я прилетел в Германию, предоставили жилье в доме, который институт сдает в субаренду. Где-то через полгода я снял свое жилье.

— Учебой я бы это не называл. Скорее работа, как в обычной IT компании, с офисом, приличной зарплатой и т. д. Только задачи я сам себе придумываю, ну или может научник помочь. То есть я сам выбираю, чем заниматься: формулирую задачу, определяю критерии ее успеха, придумываю решение,  делаю реализацию. В конце, конечно, пишу статью, в которой нужно доходчиво объяснить суть работы и в чем ее вклад.

Я бы сказал, что в науке самое главное, чтобы тебе хотелось что-то сделать и ты умел работать один. Нужно быть self-driving, то есть находить мотивацию в себе самом. Я думаю, это интересный челледж и выход из зоны комфорта. В индустрии ты часто делаешь задачи, которые тебе сформулировал твой начальник/менеджер, то есть в основном это внешняя мотивация. При этом ты чувствуешь себя продуктивным и полезным. Но спустя время эта продуктивность может показаться ненастоящей, потому что ты не сам оценивал ее важность. А академия — это полная свобода и простор, но в них легко потеряться.

Еще один нюанс, который я для себя открыл в академии — медленный темп. Я занимаюсь сейчас темой верификации параллельных программ с учетом слабых моделей памяти. И у меня ушло где-то два полных года от начала работы до публикации первой статьи. При этом последние полгода длился процесс ревью статьи, подготовка к выступлению на конференции и т. д. Но результат того стоил, и я надеюсь, что со следующей статьей получится быстрее.

— Я живу в небольшом городе на сто тысяч человек под названием Кайзерслаутерн. После Санкт-Петербурга он ощущается слишком тихим и спокойным. Тяжелее всего в социальном плане. Тут очень много доброжелательных и приятных людей, но тоска по родным и старым друзьям все равно периодически накрывает. Как таковых друзей я нашел тут совсем недавно.

Плюсов жизни в Германии на самом деле тоже много: изучение другой культуры, другого менталитета, возможность легко путешествовать, ходить в походы и на фестивали, кататься на велосипеде. Я бы сказал, что благодаря Германии, мой work-life баланс сместился больше в сторону life.

В плане климата мне не нравится сырая, теплая зима. Но с дургой стороны, долгое лето — с апреля по октябрь — очень радует. Я бы сказал, что для меня Санкт-Петербург все еще самый удобный, красивый и комфортный город, и я на самом деле жду, когда смогу туда вернуться.

— До конца Ph. D. еще далеко, нужно опубликовать хотя бы две статьи. На данный момент мне кажется, что вероятно я вернусь обратно в индустрию, но куда-то в Research&Development отдел, скорее всего где-то в России. Хочется закрыть гештальт, как-то проявить себя в науке, но я понимаю, что не готов посвятить этому всю жизнь. После Ph. D. обычно люди работают постдоками по контракту на два года в разных институтах по разным странам, пока не найдут профессорскую должность. А мне хочется где-то осесть.