I am a first year student of PhD in Computer Science program at National University of Singapore. Previously I have completed my Bachelors degree in Applied Computer Science at Neapolis University Pafos.

My interests:

• formal methods
• competitive programming
• mathematics
• computer networks
• complexity theory

In the past:

• participated in math olympiads a lot (IMC 2024 gold, IMC 2026 gold, 10th place on National Olympiad for school students)
• worked as ML engineer / Data Scientist for 2.5 years, mostly working with user logs and classification tasks
• completed an internship at JetBrains. As part of my internship, I have formalised type system for a subset of Kotlin language in Lean 4 Proof Assistant.
• completed an internship at National University of Singapore under supervision of professor Ilya Sergey. As part of my internship, I participated in development of Loom framework.

My codeforces profile

Feel free to contact me in telegram: @F47P2971215073

Or by email: vitaly14kurin@gmail.com