Thomas Waring

I am an MSc graduate from the University of Melbourne, studying pure maths. I am interested in most things, but lately logic, computation and geometry. I also read, cook and occasionally run long distances. My thesis applies Watanabe's Singular Learning Theory to program synthesis, using Turing machines.

I live and work on unceded land belonging to the Wurundjeri people of the Kulin nation. Consider paying the rent.