In 2023 I joined the Office for National Statistics as a Methodologist. This is a research and development role which involves design and engineering of software tools and products for statistical analysis. My day-to-day work is researching statistical methods and developing Python/PySpark code, working with secure data platforms.I decided to train in a STEM field after spending some years in the hospitality industry. In 2012 I began a Mathematics degree at the University of Glasgow and I graduated with honours in 2016. In 2017 I was awarded full funding for PhD studies at the University of Kent with a research proposal broadly in Philosophy of Mathematics and Logic and focused on the topic of Dependent Type Theory.* Through my doctoral training I met and worked with researchers and educators in the fields of Philosophy, Mathematics, Computing and Linguistics. This gave me the opportunity both to teach and to present my research to audiences ranging from undergraduates or non-specialists to experts. I am passionate about engaging with workers across backgrounds and disciplines to discuss ideas. I believe that communication skills are frequently undervalued in technical roles.During my undergraduate degree I studied programming in C within Linux environments. Since then I have been a committed day-to-day user of Linux OSs and have built up the various proficiencies and resiliencies that this requires. I have recently built my knowledge of Cloud computing and especially Amazon Web Services: this has included deploying a website and managing bucket policies on EC2, running containers with Docker CLI before deploying to ECS, and deploying a python-based Twitter bot with Cron triggers on AWS Lambda.I have interests in theoretical and mathematical aspects of programming language design and analysis, including programming language semantics and the relationship between constructive mathematics and correct by construction programming. During my PhD studies I gained practical experience with tools for formal verification of programs, and I hope to further explore this field in the future. In my spare time I am currently pursuing an interest in DevOps tools.[*Roughly speaking, dependent type theories are formal systems which can be simultaneously a functional programming language and a theory expressive enough to encode all of ordinary mathematics; they are an instance of the profound formal relationship sometimes referred to as "Proofs-as-Programs" https://en.wikipedia.org/wiki/Proofs-as-programs ]