Introduction: Tom Wilkinson

Stream: new members

[Tom Wilkinson]

Hi all - I'm a PhD student in Exeter, UK. My project is in statistics but so far I'm working with measure theory much more than with any data: I'm developing statistical tests for the calibration of a sequence of forecasts, all made for the same observation one after the other. I'm hoping to formalise some of my results in Lean, and maybe one day to contribute some stuff on random measures and conditional distributions to mathlib. Glad to be here!

[Kevin Buzzard]

Tom just to flag there are people at Imperial interested in formalizing statistics. If you're ever in London on a Thursday evening during term time, feel free to pop into our formalization club!

[Tom Wilkinson]

Oh wow! I am occasionally in London so I'll make sure to stop by some time. Thanks!