Ben Wooding
Background
I am an EPSRC Doctoral Prize Fellow in the School of Computing at Newcastle University. I am researching a project titled “Reliable AI-Enabled Design of Cyber-Physical Systems” working closely with Dr Abolfazl Lavaei.
My PhD thesis was “Model-Based and Data-Driven Formal Synthesis of Power Systems” supervised by Dr Sadegh Soudjani, funded by an EPSRC Studentship (EP/R51309X/1). My research focused on the intersection of formal methods in computer science and control theory, applied to power system primary frequency regulation.
In 2019, I completed an integrated Masters degree in Computer Science (Security and Resilience) with 1st Class Honours also at Newcastle University. For the project and dissertation, I received 92%.
I have contributed to the international academic community with published papers (journal and conference), conference presentations, program committee memberships, and paper reviews (journal and conference). Published works of particular note are works at European Control Conference (ECC) and Nonlinear Analysis: Hybrid Systems (NAHS) journal.
At Newcastle University, I have been the chair of AMBER, given multiple internal research presentations, and assisted widely by teaching as a demonstrator and with marking. I have experience with supervising PhD, MSc and BSc student projects. Alongside these, I have previously led the team for research communication and dissemination for the HyCoDeV Lab.
I am an EPSRC Doctoral Prize Fellow in the School of Computing at Newcastle University. I am researching a project titled “Reliable AI-Enabled Design of Cyber-Physical Systems” working closely with Dr Abolfazl Lavaei.
My PhD thesis was “Model-Based and Data-Driven Formal Synthesis of Power Systems” supervised by Dr Sadegh Soudjani, funded by an EPSRC Studentship (EP/R51309X/1). My research focused on the intersection of formal methods in computer science and control theory, applied to power system primary frequency regulation.
In 2019, I completed an integrated Masters degree in Computer Science (Security and Resilience) with 1st Class Honours also at Newcastle University. For the project and dissertation, I received 92%.
I have contributed to the international academic community with published papers (journal and conference), conference presentations, program committee memberships, and paper reviews (journal and conference). Published works of particular note are works at European Control Conference (ECC) and Nonlinear Analysis: Hybrid Systems (NAHS) journal.
At Newcastle University, I have been the chair of AMBER, given multiple internal research presentations, and assisted widely by teaching as a demonstrator and with marking. I have experience with supervising PhD, MSc and BSc student projects. Alongside these, I have previously led the team for research communication and dissemination for the HyCoDeV Lab.