Xingjian Zhou
Xingjian (Harry) Zhou is a Computer Science and Engineering undergraduate at UCLA (expected 2027) and a competitive programmer. He represented the People's Republic of China at IMO 2017, earning a Silver medal, and was a member of the UCLA team that placed 4th at the ICPC North America Championship and advanced to the ICPC 2025 World Finals. He first-authored the arXiv paper SoundnessBench on neural-network verifier soundness (Dec 2024) and blogs at mvp-harry.github.io.
- Quant employment verification: CONFIRMED. Xingjian (Harry) Zhou's LinkedIn (harry-zhou-xj) carries the headline 'Incoming QSD @ SIG | ICPC World Finalist' and lists an Offer/Intern role 'Quantitative Strategy Developer Intern' at Susquehanna International Group, description 'Summer 2026'. Identity is supported by a cross-linked trace: the same name/alias appears on the arXiv paper (Xingjian Zhou, UCLA CS), the ICPC 2025 World Finals UCLA roster (Xingjian Zhou), the UCLA ACM ICPC team page (Harry Zhou, CSE), and GitHub MVP-Harry. Employer classification: SIG (sig.com) states it is 'a global quantitative trading firm' and is a market-maker, so it genuinely operates in quantitative finance and is not a company merely named 'quant'. Caveat: the title is 'Incoming' (an accepted offer) and the role is index-sourced; no primary SIG page naming him was found, and the date shown ('2025-') conflicts with the 'Summer 2026' description, so this is not confirmed as a completed/current-in-practice role.
- Employer classification: Susquehanna International Group (sig.com) describes itself as 'a global quantitative trading firm' and is a market-maker, so it genuinely operates in quantitative finance rather than merely carrying 'quant' in its name.
- First-authored arXiv paper 'SoundnessBench: A Soundness Benchmark for Neural Network Verifiers' (arXiv:2412.03154, Dec 2024) with Keyi Shen, Andy Xu, Hongji Xu, Cho-Jui Hsieh, Huan Zhang; SoundnessBench identifies bugs in state-of-the-art NN verifiers; code at github.com/MVP-Harry/SoundnessBench - links the GitHub handle MVP-Harry to the academic Xingjian Zhou.Dec 4, 2024
- Index-sourced (LinkedIn enrichment) work history also lists: President of ACM ICPC and Officer of ACM ICPC at ACM at UCLA; Software Engineer at MathWorks (SWE Intern, 2025); Machine Learning Researcher at Computational Machine Learning Lab (2024-2025); Software Engineer at Interconnected & Integrated Bioelectronics Lab (I2BL) (2023-2024). These are index-only claims, not independently primary-source confirmed, and only the SIG role is quantitative finance.
- Career pattern read: his public roles cluster in competitive programming leadership (ACM ICPC officer/president) and ML research (SoundnessBench first-author, 2024-25) before the SIG quantitative strategy offer - the SIG offer is the first and only quantitative-finance role on the record, so no prior quant internship or trading role is evidenced.
- Named among ICPC 2025 World Finals finalists for UCLA (UCLA Three Musketeers: Andrew Polizzotto, Xingjian Zhou, Zhenting Zhu); finals held Sept 4 2025 in Baku, Azerbaijan.Sep 4, 2025
- UCLA ICPC team page: 'UCLA Three Musketeers (Andy Polizzotto, Zhenting Zhu, and Harry Zhou) placed 4th at the North America Championship, qualifying for the World Finals; first to solve Problem E.'2025
- IMO 2017 contestant page lists Xingjian Zhou for People's Republic of China: rank 64, 89.8% score, Silver medal, 23 points (P1 7, P2 1, P3 0, P4 7, P5 1, P6 7).Jul 1, 2017
- Listed in UCLA ACM ICPC leadership as 'Harry Zhou - Officer, President Emeritus', a 3rd-year CSE major; also President Emeritus on the CodeSprint LA 2026 organizer team - suggesting he held the ACM ICPC presidency before rotating into an emeritus/officer role.
- Paper affiliation is 'Xingjian Zhou, Computer Science, University of California, Los Angeles' as an undergraduate, with a 2024-25 ML research affiliation to the Computational Machine Learning Lab - consistent with the UCLA CSE enrollment and the index-listed research role.
- Daily Bruin (Jan 29 2025) quoted 'Harry Zhou, an ACM ICPC officer' about organizing a Spider-Man-themed coding event - independent press confirmation of the ACM ICPC officer role.Jan 29, 2025
- Personal blog at mvp-harry.github.io ('Harry's Blog'); posts include 'A Busy Winter Quarter (and a Busier Spring?)' (Mar 31 2024) and 'My Bookshelf (2024 Edition)'; the blog byline links github.com/MVP-Harry, cross-confirming the blog, GitHub and person.
SWE Intern at Mathworks.
Paper: https://openreview.net/forum?id=UuYYldVLH3 Github: https://github.com/MVP-Harry/SoundnessBench • First-authored a paper titled "Testing Neural Network Formal Verifiers: A S
• Designed and implemented the first automated testing platform at I2BL, enabling researchers to design and conduct more robust and repeatable Ferrobotic experiments. Built the pla
Summer 2026
Competition record
China · IMO