RESEARCHED WITH AUTUMN
SGSaul Glasman
Functional programming, type-driven development and code correctness
Travel Syndication Technology (TST) ·
Arlington, Virginia, United States · engineer
IMO Bronze Medalist For The UK In Both 2005 And 2006Featured In The Documentary 'Beautiful Young Minds' (2007)PhD In Mathematics At MIT (2015); Postdoc At IAS And Assistant Professor At U. Minnesota In Homotopy TheoryNow A Software Engineer At Travel Syndication Technology (TST), Arlington VA
I'm currently a software engineer, with a background in pure mathematics, particularly higher category theory and topology.
LinkedIn followers122
Pure mathematics / homotopy theoryFunctional programmingType-driven development
- Left academia for industry around 2018, taking an Android engineer role at LiveSafe (Arlington, VA) then Scala backend engineer at Vector Solutions, before a 2021 move to software engineer at Travel Syndication Technology (TST).2021
- Won bronze at the IMO in both 2005 (Mexico, 139 pts) and 2006 (Slovenia, 161 pts) for the UK - consistent top-tier olympiad form two years running before leaving school.Jul 2006
- Studied mathematics at Cambridge (MMath) then completed a PhD at MIT in 2015 under the homotopy-theory group, working on equivariant stable homotopy, higher category theory and algebraic K-theory.2015
- Was one of the pupils profiled in the 2007 BBC documentary 'Beautiful Young Minds', about the UK's IMO selection process - making him a public face of UK olympiad mathematics, which the 2022 MoMath panel reprised.2007
- Authored research papers including 'K-theory and polynomial functors' (with Clark Barwick, Akhil Mathew, Thomas Nikolaus) and 'Day convolution for infinity-categories' - his thesis-line work.2021
- Held a Member position at the Institute for Advanced Study (Princeton) 2015-2016 funded by the NSF, then a Dunham Jackson Assistant Professor post at University of Minnesota 2016-2018 - a standard two-step postdoc-to-tenure-track route he exited for industry.2016
- His public writing and interviews are largely retrospective - a Math-Life Balance podcast interview and his blog essay on leaving academia - suggesting the mathematics is now a past chapter rather than current output.2021
- Prizewinner in British Mathematical Olympiad Round 1 2005/06 while at Latymer School, the school pipeline that fed his IMO selection.2006
Experience
Software Engineer at Travel Syndication Technology (TST)
Remote
Scala backend engineer at Vector Solutions
Arlington, Virginia, United States
Android engineer at LiveSafe
Arlington, VA
Dunham Jackson Assistant Professor at University of Minnesota-Twin Cities
Member at Institute for Advanced Study
Princeton, NJ
Education
Massachusetts Institute of Technology
Doctor of Philosophy - PhD, Mathematics
University of Cambridge
Master of Mathematics - MMath, Mathematics
University of Cambridge
AchievementsBronze medal, International Mathematical Olympiad 2005 (UK team, 139 pts, 73.1%) · Bronze medal, International Mathematical Olympiad 2006 (UK team, 161 pts, 67.9%) · Featured as a member of the UK team in the documentary 'Beautiful Young Minds' (2007) · Panellist at MoMath 'Starring Math' event on 'Beautiful Young Minds', June 2022
Articles
AwardsBronze medal, IMO 2005 (UK team, 139/252, top 73.1%) · Bronze medal, IMO 2006 (UK team, 161 pts, 67.9%) · IMO bronze medal 2005 (UK, 139 pts) · IMO bronze medal 2006 (UK, 161 pts) · British Mathematical Olympiad Round 1 prizewinner 2005/06 (Latymer School)
Profiles
Competition record
United Kingdom · IMO