RESEARCHED WITH AUTUMN
EV
Mathematician; PhD student at Uppsala University (algebra and representation theory). BSc and MSc at University of Pisa and Scuola Normale Superiore. IMO 2019 bronze medalist for Italy.
HaskellLEANPythonCC++RustSageLaTeXLinux/NixOSKubernetesDockerAnsibleAlgebraRepresentation theoryAlgebraic combinatoricsAlgebra and representation theoryType theory / formalization (LEAN, Mathlib)Functional programming (Haskell)Free software / Linux (NixOS, xmonad)
- Quant employment verification: NOT CONFIRMED. The only quant-finance-linked item found is a 'Spring into Quant Finance' programme at G-Research (gresearch.com), dated 2023 on his LinkedIn index record; that listing is a week-long residential student programme ('introduction to the world of quantitative finance through workshops, insights sessions and talks'), i.e. a student/outreach programme, not an internship or employment, so it does not qualify as a quant role. G-Research itself is a genuine quantitative research/technology firm operating in systematic finance. No internship or employment at a bank, asset manager, hedge fund, market-maker, or trading firm appears anywhere in his CV (uu.se), personal site, or LinkedIn index record; his documented work history is academic (PhD, Uppsala 2024-2029), a system-administrator role (SNS 2021-2024), teaching assistantships, and a LEAN tutor role. Identity is supported: the Uppsala staff page, his personal site, ORCID and LinkedIn all name Eduardo Venturini as the same PhD mathematician and IMO 2019 Italy contestant. The G-Research programme is index-only here (LinkedIn-derived enrichment), not independently primary-source confirmed.2023
- Represented Italy at the 2019 International Mathematical Olympiad in Bath and won a bronze medal (rank 214, 21 points); IMO-official contestant record shows country Italy, award B, year 2019.2019
- Direct contact: [contact omitted] (Uppsala) and eduardo[dot]venturini[at]math[dot]uu[dot]se published on his personal site; ORCID 0009-0008-5083-0957.2026
- Stacked a BSc (Pisa, 2019-2022) with the SNS 'Degree in Mathematics' (2019-2024) and an MSc (Pisa, 2022-2024), then moved straight to a PhD at Uppsala in 2024 - a continuous, fully academic path with no industry gap, which is the structural reason no quant internship appears in the record.2024
- PhD research (2024-2029) is on Hecke algebras and categorical representation theory under Prof. Hankyung Ko in Uppsala's Algebra and Representation Theory group; he devotes a fifth of his time to undergraduate teaching.2024
- Held a paid systems-administration job at Scuola Normale Superiore (2021-2024) running the student network on Debian with AFS, Gluster/Ceph, LDAP, Kubernetes and Icinga/Grafana/Elasticsearch monitoring - the deepest hands-on infrastructure experience in his record.2021
- His personal site, LinkedIn, GitHub (ventu06) and GitLab (ventu06) are cross-linked from one another and share the same handle, which mutually corroborates that they are the same person.2026
- Graduated 110/110 cum laude for both the BSc and MSc (Pisa), with GPAs of 29.53/30 and 29.44/30; the SNS track additionally required a >27/30 GPA plus extra courses and seminars.2024
- Uppsala teaching-assistant load spans Linear Algebra II (Fall 2024, Winter 2026), Multivariable calculus and Probability & Statistics (Spring 2025, Spring 2026), plus lecture cycles on Soergel bimodules (Fall 2024) and Ingalls-Thomas bijections (Fall 2025).2026
- Has participated five times (2020-2024) in SWERC, the ICPC Southwestern Europe regional, alongside a silver medal at the 2018 Italian Olympiads in Informatics - measurable competitive-programming throughput on top of the pure-maths record.2024
- Master's thesis (algebraic combinatorics) studies chromatic quasisymmetric functions and the Sharesian-Wachs conjecture, adding 'original remarks'; bachelor's thesis (Maffei) proves the Bruhat decomposition and Borel-Weil theorem - source code and PDFs are public on his GitLab.2024
- Formalization work in LEAN: tutored 'Formalizing Mathematics in LEAN' at Pisa (Fall 2023) and contributed to a formalization of representations of finite groups 'currently present on a branch of Mathlib4' (Cirm Luminy, 2024).2023
Experience
PhD in Mathematics at Uppsala University
Jan 2024 - Jan 2029
System Administrator at Scuola Normale Superiore
Jan 2021 - Jan 2024
Tutor, Formalizing Mathematics in LEAN at Universita di Pisa
Jan 2023 - Jan 2023
PhD student in Mathematics at Uppsala University
Uppsala, Sweden
Teaching Assistant (Linear Algebra II, Multivariable Calculus, Probability and Statistics) at Uppsala University
Uppsala, Sweden
System Administrator at Scuola Normale Superiore
Pisa, Italy
Computer rooms (Timpano, Acconci) and the SNS student network (UZ) on Debian GNU/Linux, AFS/Gluster/Ceph, LDAP, Kubernetes, Icinga/Grafana/Elasticsearch.
Tutor - Formalizing Mathematics in LEAN at Universita di Pisa
Pisa, Italy
Spring into Quant Finance (student programme) at G-Research
Nice, France
Education
Uppsala University
Scuola Normale Superiore
Universita di Pisa
Projects
Bachelor's thesis: La decomposizione di Bruhat e il teorema di Borel-Weil (https://ventu06.gitlab.io/tesi-triennale/tesi.pdf)
Master's thesis: chromatic quasisymmetric functions and the Sharesian-Wachs conjecture (https://ventu06.gitlab.io/master-thesis/thesis.pdf)
AchievementsIMO 2019 (Bath): bronze medal for Italy, rank 214, 21 points (imo-official.org) · Balkan Mathematical Olympiad (BMO) 2019: bronze medal · Romanian Master in Mathematics (RMM) 2019: bronze medal · Italian Mathematical Olympiad 2019: gold medal; silver and bronze in three other editions (2014-2019) · Italian Olympiads in Informatics 2018: silver medal; one further bronze
Articles
AwardsIMO 2019 bronze medal · BMO 2019 bronze medal · RMM 2019 bronze medal · Italian Mathematical Olympiad 2019 gold medal · Italian Olympiads in Informatics 2018 silver medal
Profiles
Competition record
Italy · IMO