AutumnTHE OLYMPIAD COLLECTION
Menu
RESEARCHED WITH AUTUMN
ER

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-)

Egor Riabov (Егор Рябов) is a Moscow-based mathematician and programmer, an IMO 2018 gold medalist representing the Russian Federation. He studied mathematics at HSE (Высшая Школа Экономики), 2018-2022. His LinkedIn shows a current role as Quantitative Researcher at an undisclosed firm ('NDA') from 2022, preceded by mathematics-programming work at ООО 'СКИ' (pruvendo.com) in 2021-2022 and Haskell development at МЦНМО (Moscow Center for Continuous Mathematical Education) in 2020-2021.

IMO 2018 gold medalist; imo-official.org; Mathematics student; Haskell and Coq developer

Details
LocationMoscow, Russia
UniversityВысшая Школа Экономики (HSE)
HaskellCoqMathematicsQuantitative Research
Notes
  • 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

Competition record

Russian Federation · IMO

Related collections

Explore the collection