RESEARCHED WITH AUTUMN
Egor Riabov
IMO 2018 gold medalist; Mathematics student; Haskell and Coq developer; Quantitative Researcher
NDA ·
Moscow, Russia · engineer
IMO 2018 Gold Medal, Russian FederationIMC 2019 Gold, HSE University TeamBSc Mathematics, HSE (2018-2022)Quantitative Researcher (2022-)
IMO 2018 gold medalist; imo-official.org; Mathematics student; Haskell and Coq developer
HaskellCoqMathematicsQuantitative Research
- Quant employment verification: UNRESOLVED. Egor Riabov's LinkedIn (as returned by index enrichment) lists a current role titled 'Quantitative Researcher' at a firm displayed only as 'NDA' (undisclosed), Moscow, since Aug 2022. The role title is quant-finance-adjacent, but the employer is not named, so it cannot be classified as a quantitative investment/trading/market-making/hedge-fund firm, and this is an index-only claim with no independent primary-source confirmation. His other listed roles are not quant finance: Математик-программист at ООО 'СКИ' (pruvendo.com), 2021-2022, where pruvendo.com is a smart-contract formal-verification company (per pruvendo.com and its LinkedIn company page), and Haskell разработчик at МЦНМО (Moscow Center for Continuous Mathematical Education), 2020-2021, a mathematics-education institution. Identity is supported (IMO 2018 gold for the Russian Federation; BSc Mathematics, HSE 2018-2022), but no verified employer operating in quantitative finance could be established.Aug 2022
- Won a gold medal at the International Mathematical Olympiad 2018 representing the Russian Federation.Jul 2018
- The only quant-titled role sits at an employer deliberately shown as 'NDA' on LinkedIn, which together with a Haskell/Coq formal-verification background (pruvendo, МЦНМО) suggests a technical/R&D rather than a disclosed trading-firm employer; the employer's line of business cannot be confirmed from public sources.Aug 2022
- LinkedIn enrichment shows a current role as Quantitative Researcher at a firm labelled 'NDA' (undisclosed) in Moscow from 2022; the employer is not named, so it cannot be classified as quant finance from this source alone.2022
- Won gold at IMC 2019 (International Mathematics Competition for University Students) on the HSE University team, alongside Ivan Safonov and Rodion Zaytsev.Aug 2019
- Represented Russia at IMO 2018 (gold, score 34/42, Romania) after winning the 2018 All-Russian Mathematical Olympiad as an 11th-grade student at school No. 1329, Moscow.Jul 2018
- Held a mathematics-programmer role at ООО 'СКИ' (pruvendo.com) in St Petersburg, 2021-2022.2021
- Worked as a Haskell developer at МЦНМО (Moscow Center for Continuous Mathematical Education), 2020-2021.2020
- Studied mathematics (bachelor) at Высшая Школа Экономики (HSE), 2018-2022.2018
- Public profiles show no GitHub, X/Twitter, personal website, blog, email, or phone; the public footprint is essentially the LinkedIn profile plus Olympiad results pages.Sep 2026
Experience
Quantitative Researcher at NDA
Moscow, Russia
Математик-программист at ООО "СКИ" (pruvendo.com)
Санкт-Петербург, Россия
Haskell разработчик at МЦНМО
Москва, Россия
Education
Высшая Школа Экономики
Бакалавр, Mathematics
AchievementsIMO 2018 Gold Medal, representing the Russian Federation
AwardsIMO 2018 Gold Medal, Russian Federation · IMC 2019 Gold, HSE University team
Profiles
Competition record
Russian Federation · IMO