My name is Ben Wooding. I am currently an EPSRC Doctoral Prize Fellow at Newcastle University. My background is in computer science, and my PhD thesis was titled "Model-Based and Data-Driven Formal Synthesis of Power Systems". Outside of research, I love playing and watching sports.