Deepro is from Kent and studied Mathematics and Computer Science at Imperial College London, where he cultivated an interest in pure mathematics. He undertook an undergraduate research project on the representation growth of Lie algebras, and a dissertation involving formal theorem proving in Lean. Following this, he pursued a master’s degree at the University of Cambridge, delving into several areas of machine learning. His dissertation focused on applying machine learning methods to formal theorem proving. At Cambridge, he also engaged in research projects in geometric deep learning and understanding the training dynamics of deep neural networks.
At StatML, Deepro hopes to use statistics and information theory to probe the internals of deep learning models further. He enjoys quizzing, playing guitar, classical music, cricket and board games.
