Aleksey Veresov


I am currently studying for a master’s degree at KTH in Stockholm, there I also work in Portals project team, mainly with Jonas Spenger and Philipp Haller.

I worked as a junior researcher at KIAM, programmed in Haskell at MCCME. 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 often discuss programming and work on different projects with Nikita Orlov, for example: we wrote a blog article on pitfalls of C (available only in Russian); made a little stack language compiling into machine code, and wrote a simple cipher encryptor and cracker in it; and finaly we designed and tinkered a computer and wrote an emulator for it.

I graduated from the bachelor’s degree at Moscow State University. My thesis is about embedding Lisp into C. I have also created a library for CGI, and a little game based on the old Zelda was made by me in a week.

I was born on 1999.07.03 in Sarov; however, I consider Moscow my hometown too.

Officially, my name is Aleksei Veresov. My username is usually aversey. I maintain git at