Tomáš Dzetkulič

Tomáš Dzetkulič is a Slovak computer scientist and software engineer. He represented Slovakia at the International Olympiad in Informatics in 2002. He studied Discrete Mathematics and Optimization at Charles University in Prague (Mgr., 2002-2007) and did research on verification of hybrid systems at the Academy of Sciences of the Czech Republic. His industry career spans C# development at Allyn International (2005-2007), a software role at crypto-hardware-wallet maker Trezor (2013), C++ development on Barclays Investment Bank's BARX FX trading platform in Prague (2013-2014), and software engineering at Google in Zürich from 2014, where he is now a Senior Software Engineer.

Notes4

• Identity convergence: the IOI-2002 Slovak contestant, the Charles University discrete-mathematics Mgr. and the Google Zürich engineer named Tomáš/Tomas Dzetkulič are the same person - the name is rare, all three share the Slovak/Czech education path, and the Facebook profile (lives in Zürich, studied Discrete Mathematics and Optimization at Charles University) bridges the Olympiad-era and Zürich-era facts.
• Quant employment verification: CONFIRMED. The subject held an actual paid engineering role at Barclays Investment Bank in Prague from 2013 to 2014 as a C++ developer on the BARX FX server platform. Barclays Investment Bank is a bank whose BARX business is electronic foreign-exchange trading, so this is trading-technology work at a bank's markets arm - a quantitative-finance-adjacent employer and role. Classification: bank / electronic FX trading technology (developer), not a market-making or systematic-trading job title. Supporting identity: LinkedIn profile name, education and location match the IOI-2002 Slovak contestant (see identity notes). This rests on LinkedIn index data (an aggregator), not independent primary-source confirmation, and no other quant/trading employer appears in the timeline.
• Identity anchor: Tomáš Dzetkulič is listed by the IOI's official statistics site as a contestant for Slovakia at IOI 2002, confirming the Olympiad identity given in the brief.
• Career timeline (LinkedIn index data, not independently confirmed): C# developer at Allyn International, Prague (2005-2007); Research Assistant at the Academy of Sciences, Prague, verification of hybrid systems (2008-2012); Software Engineer at Trezor/SatoshiLabs, Prague (2013); C++ developer at Barclays Investment Bank, Prague (2013-2014); Software Engineer then Senior Software Engineer at Google, Zürich (2014-present).
• Quantitative-finance-relevant role: C++ developer at Barclays Investment Bank, Prague (2013-2014), working on the BARX FX server platform - Barclays' electronic foreign-exchange trading platform - i.e. trading-technology work at a bank's markets business, per the LinkedIn experience description 'BARX FX server platform development'.
• Current role (LinkedIn index data): Senior Software Engineer at Google, Zürich, since 2022, on the Search Infrastructure team, with stated expertise in concurrency, multithreading and performance and work on a HyperLogLog count-distinct algorithm replacement.
• Crypto-sector role: Software Engineer at Trezor (SatoshiLabs) in 2013, co-authoring the open-source trezor-crypto library that powers the Trezor One hardware wallet; Trezor is a crypto-security/hardware-wallet company, not a trading or market-making firm.
• Education (LinkedIn index data): Mgr. (Master's) in Discrete Mathematics and Optimization, Univerzita Karlova (Charles University, Prague), 2002-2007.
• Research output: co-author of 'Incremental Computation of Succinct Abstractions for Hybrid Systems' (FORMATS 2011) and 'Rigorous integration of non-linear ordinary differential equations in Chebyshev basis' (Numerical Algorithms, 2015), plus 'How to Capture Hybrid Systems Evolution Into Slices of Parallel Hyperplanes' (2009).