AutumnOLYMPIAD
COLLECTION
RESEARCHED WITH AUTUMN
SG

Saul 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

Software engineer with a background in pure mathematics, particularly higher category theory and algebraic topology. He represented the United Kingdom at the International Mathematical Olympiad in 2005 and 2006 (bronze medals both years) and was featured in the documentary 'Beautiful Young Minds'. He studied mathematics at Cambridge (MMath) and earned a PhD in mathematics at MIT (2015), then held postdoctoral and assistant professor positions in homotopy theory at the Institute for Advanced Study and the University of Minnesota before moving into industry as a software engineer.

I'm currently a software engineer, with a background in pure mathematics, particularly higher category theory and topology.

LinkedIn followers122
Details
LocationArlington, Virginia, United States
Company sitetstllc.net
UniversityUniversity of Cambridge
Pure mathematics / homotopy theoryFunctional programmingType-driven development
Notes
  • 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

Competition record

United Kingdom · IMO

2005 · Bronze · Rank 1392006 · Bronze · Rank 161