My research interests are in the field of Automated Reasoning and Measure Theory. I am particularly interested in researching learning solutions which learn human understandable concepts making them easier to test and easier to transfer.