Olcay Oransoy

Computer Science student at Sabancı University (expected 2026) and IOI 2021 bronze medalist for Türkiye. Publicly active as a technical blogger (Lean/Mathlib formalization, algebra) and GitHub author. No verified employment or internship has been found; the only employment-adjacent entry is attendance at the 'Discover Citadel' student event in 2024.

Notes10

• Quant employment verification: NOT CONFIRMED. No actual quantitative-finance role or internship (past or present) surfaced in any source; identity is supported (IOI 2021 Türkiye, Sabancı University CS '26, personal blog), and the only employment-adjacent lead is a 'Discover Citadel Attendee' student event (2024), which does not qualify as work. No bank, asset manager, hedge fund, market maker, energy or crypto trading employer was found. Evidence is limited by the absence of an accessible primary employment record.2024
• The only employment-adjacent entry on his profile is 'Discover Citadel Attendee' at Citadel (2024), a student/recruiting event held at the Four Seasons Hotel, Ten Trinity Square, London, not a work role or internship. (index-only enrichment claim)2024
• IOI 2021 (Singapore): competed for Türkiye as a high-school contestant, scoring 275/600, rank 95/351, bronze medal.Jun 25, 2021
• Spoke at Sabancı University Bilişim Günleri 2025 on a session titled 'Büyük Teknoloji Şirketlerinde Staj ve Başvuru Süreçleri' (internships and application processes at big tech companies), placing him as a student presenter on tech-internship topics in 2025.2025
• Personal site olcay.oran.soy is a Hugo blog identifying him as 'CS @ Sabancı 26', i.e. a Sabancı University Computer Science undergraduate expected to graduate in 2026.Feb 17, 2024
• LinkedIn headline reads 'Mathematician and computer scientist' and lists location as Bromley, England, United Kingdom; the profile lists education as a Bachelor's degree in Computer Science at Sabancı University. (index-only enrichment claim)2024
• Authored technical blog posts in early 2024 on formalizing Cassini's identity in Lean (16 Mar 2024) and defining a vector space from a ring homomorphism (24 Feb 2024), indicating Lean/Mathlib and algebra interests.Mar 16, 2024
• Identified as one of the high-school students led by Prof. Tolga Can (METU) awarded internationally in July 2021, corroborating the IOI 2021 Türkiye participation.Jul 2021
• GitHub account ooransoy (e.g. pygraphs) and Codeforces handle chromodynam1c are linked to him via cphof.org's profile cross-references.2024
• X/Twitter handle olcayrnsy appears in search results as 'Olcay Oransoy (@olcayrnsy)'; profile content could not be read (login wall), so the handle is unverified.2025