Aleksey Veresov

programmer

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

Interests

Programming Languages, Formal Methods, Logic, Concurrent Programming

Publications

— Failure Transparency in Stateful Dataflow Systems September 2024

I worked on this paper together with Jonas Spenger, Paris Carbone, and Philipp Haller. The paper is published in ECOOP 2024. A companion technical report and a recording of the talk are available.

Education

— PhD student in Computer Science, Saarland University 2026–present

I am supervised by Simon Gregersen and, so far, work on a formally verified stateful dataflow system in Go.

— MSc in Computer Science, KTH 2022–2024

My master thesis is about formal verification of epoch-based snapshotting, which is the algorithm used, for example, to ensure exactly-once processing in Apache Flink. I was supervised by Jonas Spenger and Philipp Haller.

— BSc in Applied Mathematics and Computer Science, Moscow State University 2016–2022

In my bachelor thesis, I describe a new method of embedding Lisp into C by providing a library which supports writing C expressions corresponding to Lisp expressions on the lexical level.

Talks

— Building Python based AI Systems with LLMs November 2024

I presented the work of Hopsworks agentic AI team on behalf of Jim Dowling, CEO of Hopsworks. The talk took place at Pycon Sweden 2024.

Employment

— Doctoral researcher, CISPA 2026–present

I do the same as in the PhD program.

— Software engineer, Hopsworks 2024–2026

I mostly worked on Hopsworks Python API and on an agentic AI capabilities of the platform.

— Research student assistant, KTH 2023–2024

I worked on Portals, a stateful dataflow system, mainly with Jonas Spenger and Philipp Haller. I was involved mostly in formalizing the system and a bit in programming it.

— Haskell backend programmer, MCCME 2021–2022

I worked on a website for learning school math. I implemented three web services backing it, and integrated support of authentication through a governmental system.

— Junior researcher, KIAM 2018–2022

I was involved in optimization of parallel programs and writing of scripts, and implemented elementary functions for FPGAs.

Other Activities

I helped with organisation of several mathematical conferences at Sirius, as well as attended two “summer” schools there: one on Complexity Theory and one on Formal Methods.

I wrote several programs and libraries in C (e.g. a little game inspired by the old Zelda games and a library for Common Gateway Interface).

Together with Nikita Orlov, we wrote a blog article on pitfalls of C with over a hundred thousands views (available only in Russian); made a little stack language compiling directly into machine code, and wrote a simple cipher encryptor and cracker in it; and finaly we designed and tinkered a M68k-based computer and wrote an emulator for it in Haskell.

So… Welcome to my personal website! It’s-a me, Aleksey! And here is the sheet of my real-life character:

From time to time I post notes on random topics, here is the latest one of them:

You can see the rest of the notes here. I also have pages dedicated to my projects.

The Company I Keep

Firstly, I keep company of my family, especially my mother and father, as well as two younger siblings, brother and sister.

Also, I often work on pet projects as well as discuss programming and life with Nikita Orlov, we are friends since spring of 2018, and have met in Moscow State University: he showed some cool low-level things (if I remember correctly, he explained how PS/2 port works), and I had no other choice but to become friends with him.

I work with Jonas Spenger and enjoy talking with him about programming and other things. We met in 2022, I reached him to ask about his being as a student of Philipp Haller, and somehow I joined Jonas’s research group led by Philipp and Paris Carbone.

I am friends with Peter Konovalov and Emilia Petrova, we were neighbors in the dormitory of Moscow State University, and we are friends since 2019. Peter is an awesome drummer and works as a programmer, and Emilia is highly educated in arts and humanities, and used to work at Samokat publisher.

Nikita Roldugins is a good friend of mine, we met in 2022, when I moved to Stockholm to study at KTH. He somehow found me and initiated the contact. Initially I was a bit suspicious, but he turned out to be a great friend and a really good person. He is a programmer, mainly focusing on data science; and studied in Korea (obviously, South) for more than a year.

I am friends with Nikita and Nikolay Semenov, we first met when I moved from Moscow to Sarov to study in the last three school years there. It was 2013. We were attending a supplementary programming school Vector++ together. They are twins, both are into programming, although Nikita works as a programmer and Nikolay works as a system analyst.

Also, I keep company of Roman Vasilev, he was my first roommate in Moscow State University, and we are friends since 2016. He is a great data scientist, a nice guy and a good friend.

I am friends with Vitalii Guzeev, who is a good man and a great programmer and mathematician. We first met in 2020, he was my boss in MCCME.

I keep contact with more people, but I don’t think it is appropriate to list them here right now. Nevertheless, I am deeply grateful to all of them.

What’s in My Name?

Officially, my name is Aleksei Veresov, but I prefer to be called Aleksey. The name is pronounced as ah-lick-SAY VAIR-is-off  (syllables in capitals are accentuated) in Russian; although in English I prefer ah-LEK-see. The only short name I am used to is Lyosha, pronounced as LYO-sha  (although since palatalized L is hard to pronounce for children, both my brother and sister called me Yosha while they were babies ). It is the usual short form of Aleksey in Russian. Again, I don’t mind being called any other way, but since I am not used to anything else, it might confuse me.

My first name is of Greek origin, and it means “protector” or “helper”. The last name comes from Northern Russian dialect, in which “veres” means both “juniper” and “heather” (or any small northern shrub, according to my grandfather), so the last name could be loosely translated as Bush.

My username is usually aversey. It is a combination of my first and last names, and also a small wordplay on the meaning of my name, as protector is the one who is averse to evil, or who is facing it (in French, “avers” means face). For example, this is me on the net: GitHub and itch.io.

Peculiarities

Some peculiar phrases I have produced at least once:

A proof of a program is not as scary as its absence.

A leaky abstraction is worse than no abstraction at all.

Speech Peculiarities

In general, I speak quite slowly and softly. Usually I speak in a highly structured manner; for example, after listening to someone, I often answer that I have exactly N remarks, and go through them one by one. However, I usually prefer to let a conversation “flow naturally”, valuing sincerity far above any particular communication goals, which results in extremely long calls and chats with my friends. I also enjoy exploring ideas, and can switch my position throughout a conversation several times; that surprises some people. My sense of humor is rather weird; a friend described it (successfully) as “chaotic-ironic”.

It may be useful to read a bit of tips about this website.