Алексей Вересов

программист

+49 160 98 37 37 68aleksey@veresov.progithub.com/aversey

Интересы

Языки программирования, формальные методы, логика, конкуррентное программирование

Публикации

— Failure Transparency in Stateful Dataflow Systems сентябрь 2024

Над этой статьёй я работал с Йонасом Спенгером, Парисом Карбоном и Филиппом Халлером. Она опубликована в ECOOP 2024. Доступны расширенная версия и запись доклада.

Образование

— Аспирантура по информатике, Саарландский университет 2026–сейчас

Работаю под руководством Симона Грегерсена, пока что над формальной верификацией системы потоковой обработки данных на Go.

— Магистратура по информатике, KTH 2022–2024

В своей магистерской я доказал корректность обработки ошибок одним алгоритмом создания контрольных точек, используемым, например, в Apache Flink. Моими научными руководителями были Йонас Спенгер и Филипп Халлер.

— Бакалавриат по прикладной математике и информатике, Московский государственный университет 2016–2022

В своей бакалаврской я описываю новый способ встраивания Лиспа в C, а именно, библиотеку, позволяющую записывать выражения C соответствующие выражениям Лиспа с точностью до лексики.

Доклады

— Building Python based AI Systems with LLMs ноябрь 2024

На Pycon Sweden 2024 я представил работу команды агентного ИИ в Hopsworks. Доклад был от имени Джима Доулинга, директора Hopsworks.

Работа

— Исследователь, CISPA 2026–сейчас

Занимаюсь тем же, чем и в аспирантуре.

— Инженер-программист, Hopsworks 2024–2026

В основном я работал над Hopsworks Python API и над агентной частью платформы.

— Научный ассистент, KTH 2023–2024

Я работал над Portals, системой потоковой обработки данных с состоянием, в основном с Йонасом Спенгером и Филиппом Халлером. Занимался я преимущественно формализацией системы и немного её программированием.

— Бэкенд-программист на Haskell, МЦНМО 2021–2022

Я работал над сайтом для изучения школьной математики. Я реализовал три обеспечивающих его работу веб-сервиса и добавил поддержку аутентификации через государственную систему.

— Младший научный сотрудник, ИПМ им. Келдыша 2018–2022

Я участвовал в оптимизации параллельных программ и написании скриптов, а также реализовал элементарные функции для ПЛИС.

Прочая деятельность

Я помогал с организацией нескольких математических конференций в Сириусе, а также посетил две “летние” школы там: по теории сложности и по формальным методам.

Я написал несколько программ и библиотек на C (например, небольшую игру, вдохновлённую старыми играми серии Zelda, и библиотеку для Common Gateway Interface).

Вместе с Никитой Орловым мы написали статью о подводных камнях C, набравшую больше ста тысяч просмотров; сделали небольшой стековый язык, компилирующийся напрямую в машинный код, и написали на нём простой шифратор и взломщик шифра; и наконец спроектировали и собрали компьютер на M68k и написали для него эмулятор на Haskell.

Итак… Добро пожаловать на мой личный сайт! It’s-a me, Лёша! И вот характеристики персонажа, за которого я играю в реальной жизни:

Время от времени я публикую тут свои заметки о всяком, вот последняя из них:

Список всех заметок можно увидеть тут. Кроме того на этом сайте есть странички моих проектов.

Кто мой друг

Прежде всего, моя семья, особенно папа, мама, брат и сестра.

Ещё я часто делаю небольшие проекты и обсуждаю программирование и жизнь с Никитой Орловым, мы дружим с весны 2018-ого, встретились в МГУ: он показал мне что-то крутое про низкий уровень (кажется, он объяснил как работает PS/2), и у меня не осталось выбора кроме как сдружиться с ним.

Я работаю с Йонасом Спенгером и с большим удовольствием говорю с ним про программирование и всё остальное. Мы встретились в 2022, я спросил его, каково быть студентом Филиппа Халлера, и каким-то образом оказался в исследовательской группе Йонаса, возглавляемой Филиппом и Парисом Карбоном.

Я дружу с Петром Коноваловым и Эмилией Петровой, мы были соседями по общежитию в МГУ, и дружим с 2019 года. Петя — потрясающий барабанщик и начинающий программист, а Эмилия сведуща в искусствах и гуманитарных науках, она работала в издательстве Самокат.

Никита Ролдугин — мой хороший друг, мы познакомились в 2022 году, когда я переехал в Стокгольм, чтобы учиться в KTH. Он меня каким-то чудом нашёл и связался со мной. В начале я переживал, но он оказался отличным другом и очень хорошим человеком. Он программист, в основном занимающийся анализом данных; отучился больше года в Корее (разумеется, Южной).

Я дружу с Никитой и Николаем Семеновыми, впервые мы встретились когда я переехал из Москвы в Саров, учится в трёх последних классах школы. Это было в 2013-ом. Мы вместе посещали внешкольные занятия в Вектор++. Они близнецы, оба интересуются программированием, хотя Никита работает программистом, а Николай – системным аналитиком.

Также я общаюсь с Романом Васильевым, он был моим первым соседом в МГУ, и мы дружим с 2016 года. Он отличный специалист по анализу данных и хороший друг.

Я дружу с Виталием Гузеевым, хорошим человеком, отличным программистом и математиком. Мы познакомились в 2020 году, он был моим начальником в МЦНМО.

Конечно, у меня есть и другие друзья, но я не думаю что пришло время их сюда записать. Я всё равно глубоко им благодарен за подаренную дружбу.

Что в имени тебе моём?

Моё имя греческого происхождения, означает “защитник”. Фамилия происходит из северорусского говора, в котором “верес” означает “можжевельник” или “вереск” (или вообще любой небольшой северный кустик, как говорит мой дедушка).

Я обычно использую ник aversey. Это комбинация моих имени и фамилии. Например, вот я в сети: GitHub и itch.io.

Особенности

Особые фразы, что я выдал хоть раз:

Не так страшно доказательство программы, как его отсутствие.

Дырявая абстракция хуже чем никакая.

Особенности речи

В целом я говорю довольно медленно и мягко. Обычно я говорю очень структурированно; выслушав собеседника, часто я отвечу что у меня есть ровно N замечаний и поочерёдно по ним пройдусь. При этом обычно я предпочитаю чтобы разговор “тёк естественно”, ценя искренность гораздо выше любых конкретных коммуникационных целей, что приводит к чрезвычайно долгим звонкам и беседам с друзьями. Кроме того мне нравится исследовать различные идеи, из-за чего я могу менять свою позицию несколько раз в ходе одного разговора, что некоторых удивляет. Чувство юмора у меня довольно специфическое, как (удачно) его описал один друг: хаотично-ироничное.

Вам может быть полезно прочитать некоторые советы про этот сайт.