Truc Lam Bui

Software engineer based in Slovakia. Represented Slovakia at the International Mathematical Olympiad in 2014 (silver) and 2015. Studied at Comenius University in Bratislava (Univerzita Komenského v Bratislave). Career spans research and engineering: a research internship at the Institute of Science and Technology Austria on algorithms for concurrent-program analysis, several engineering roles at RealityScan (Capturing Reality, capturingreality.com) working on point-cloud and laser-scan processing, and roles at an unnamed algorithmic trading firm ('Some algorithmic trading firm'), plus a current role listed only as 'undisclosed'.

Notes6

• Quant employment verification: UNRESOLVED. The only employment leads to quantitative/algorithmic trading are an index (LinkedIn aggregation) listing a 'Quant' role (2022-2023) and a 'Software Engineer' role (2021-2022) at an employer recorded only as the placeholder 'Some algorithmic trading firm'. No primary company source (careers page, press, company registry, or the person's own public statements) names the actual employer or confirms the firm operates in quantitative finance. A plausible candidate is RSJ (a Prague-based algorithmic-trading firm founded by Slovak Karel Janecek), but no source ties this person to RSJ. Identity is supported by the LinkedIn profile and the IMO/GitHub traces; the trading roles themselves remain unverified — UNRESOLVED, not confirmed and not refuted.Sep 17, 2026
• Index-only: the LinkedIn enrichment (an index/aggregation, not a primary source) is the sole source for the entire role history, education, and the trading-firm entries; treat all of it as a single unindependently-confirmed claim.Sep 17, 2026
• Current role (2025-present) is listed only as 'undisclosed' Software Engineer in Slovakia with no company named; the employer is genuinely not public in the sources checked, so the current employer is unknown.Jan 1, 2025
• Represented Slovakia at the IMO in 2014 with a silver medal (27 points) and again in 2015, ranking 40/577 in 2015.Jul 1, 2014
• Author on 'The Reads-From Equivalence for the TSO and PSO Memory Models' (OOPSLA/SPLASH 2021) with Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman, affiliated with Comenius University Bratislava — a genuine peer-reviewed publication under this name.Oct 1, 2021
• Index shows a multi-cycle employment pattern at RealityScan (2020-2021, 2021-2023, 2023-2024, 2024-2025) interleaved with two spells at the unnamed trading firm (2021-2022, 2022-2023); if accurate this suggests repeated returns to RealityScan rather than a single continuous tenure, but this is index-only and not independently confirmed.Sep 17, 2026
• Research Engineer and Software Engineer roles at RealityScan / Capturing Reality (capturingreality.com), Bratislava, repeatedly in 2020-2025, including point-cloud processing for RealityScan and laser-scan processing; company_domain capturingreality.com in the index (index-only).Jan 1, 2024
• Research internship (2019-2020) at the Institute of Science and Technology Austria (ISTA) working on 'algorithms for the analysis of concurrent programs', per LinkedIn index (index-only, not independently confirmed).Jan 1, 2019
• A separate 2014 IMO results mirror records the 2014 medal as silver (problems 6,7,0,7,7,0 = 27). The IMO-official Slovakia 2014 team page lists Truc Lam Bui among the team.Jul 1, 2014
• Researchr/ACM conference profiles (SAS 2021, APLAS 2021, SPLASH 2021) list 'Truc Lam Bui', country Slovakia, affiliation Comenius University Bratislava, corroborating the Bratislava academic identity.Oct 1, 2021
• Student/competition signals (IMO 2014/2015, ISTA research internship) are competitions and a research internship respectively; none of these is a quantitative-finance role, and none should be read as such.Jul 1, 2015
• GitHub account github.com/buj displays the name 'Truc Lam Bui (buj)'; a Codeforces profile 'buj' exists. The GitHub profile is sparse and shows no trading-related repositories, so it does not corroborate the quant roles.Sep 17, 2026