Arayi Khalatyan

Arayi Khalatyan is a computer science student at the University of Waterloo and a competitive programmer who represented Armenia at the International Olympiad in Informatics (2020, 2021, 2022) and the International Mathematical Olympiad (2022), winning bronze medals. Their public profile also lists roles as a compiler researcher at Huawei Technologies Canada, a zero-knowledge proof engineer at Axiom, a software engineer at Jane Street, and a quantitative technologist at Radix Trading LLC; these role and date details are drawn from the LinkedIn profile index.

Notes6

• Quant employment verification UNRESOLVED. Identity: the IOI statistics profile (stats.ioinformatics.org/people/7033), the IMO results page, and the arXiv AEGIS paper (listing Arayi Khalatyan as co-author on compiler research matching the Huawei role) independently support the subject's identity as the Armenian IOI/IMO competitor. Employment: every role below is an index-only claim from the LinkedIn-derived structured index - none is corroborated by an independent primary source. The index lists, as actual roles/internships (not student programs or insight days): Quantitative Technologist at Radix Trading LLC (current, from 2026-05, Chicago IL), Software Engineer at Jane Street (2026-01 to 2026-04, New York NY), Zero Knowledge Proof Engineer at Axiom (2024-2025, New York NY), Compiler Researcher at Huawei Technologies Canada (2024, Waterloo ON), and Project Team Member at Microsoft (2023, Waterloo ON, Azure AZ-900/AI-900 certifications). Employer classification: Radix Trading LLC (radixtrading.co) and Jane Street (janestreet.com) both operate in quantitative/proprietary trading per their own sites (Radix a proprietary trading firm; Jane Street a quantitative trading firm), so the employer-side quant-finance criterion is met - but the roles themselves rest only on the index. Verdict UNRESOLVED because the actual employment is index-only, not independently confirmed; there is no conflict in the evidence, only an absence of primary-source corroboration.
• UNRESOLVED. Identity: the IOI statistics profile (stats.ioinformatics.org/people/7033), the IMO results page, and the arXiv AEGIS paper (listing Arayi Khalatyan as co-author on compiler research matching the Huawei role) independently support the subject's identity as the Armenian IOI/IMO competitor. Employment: every role below is an index-only claim from the LinkedIn-derived structured index - none is corroborated by an independent primary source. The index lists, as actual roles/internships (not student programs or insight days): Quantitative Technologist at Radix Trading LLC (current, from 2026-05, Chicago IL), Software Engineer at Jane Street (2026-01 to 2026-04, New York NY), Zero Knowledge Proof Engineer at Axiom (2024-2025, New York NY), Compiler Researcher at Huawei Technologies Canada (2024, Waterloo ON), and Project Team Member at Microsoft (2023, Waterloo ON, Azure AZ-900/AI-900 certifications). Employer classification: Radix Trading LLC (radixtrading.co) and Jane Street (janestreet.com) both operate in quantitative/proprietary trading per their own sites (Radix a proprietary trading firm; Jane Street a quantitative trading firm), so the employer-side quant-finance criterion is met - but the roles themselves rest only on the index. Verdict UNRESOLVED because the actual employment is index-only, not independently confirmed; there is no conflict in the evidence, only an absence of primary-source corroboration.
• Compiler research at Huawei Technologies Canada (2024) produced co-authorship on the paper 'AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM' (arXiv:2503.03698, March 2025) - the paper is independent primary-source evidence of the technical work described in the Huawei role.Mar 2025
• Radix Trading LLC (radixtrading.co) is described in a structured company index as a privately funded proprietary trading firm employing research-driven strategies on major electronic markets - an index-only employer classification, not independent primary-source confirmation.
• Jane Street (janestreet.com) is a quantitative trading firm with offices in New York, London, Hong Kong, Singapore and Amsterdam - an index-only employer classification.
• Won three IOI bronze medals representing Armenia - 2020, 2021 and 2022 - per the IOI statistics profile and the competitive-programming hall of fame timeline.
• Represented Armenia at the 2022 International Mathematical Olympiad, scoring 24 points for a bronze medal (rank 247).Jul 2022
• Enrolled in a Computer Science degree at the University of Waterloo (2022-2027) after attending Quantum College high school in Armenia (2016-2022) - education detail is an index-only claim.
• A Microsoft project in 2023 covered a four-person team's medical AI assistant for research-paper search, and the role notes two Azure certifications (AZ-900, AI-900) - early evidence of applied ML/AI work before the compiler and trading roles.2023