Ben Wooding

Headshot-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 works, conference presentations, program committee memberships, and conference and journal paper reviews.

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.

Headshot-Wooding

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 works, conference presentations, program committee memberships, and conference and journal paper reviews.

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.

Google Scholar API

Article Authors Year Citations
Formal Control of New England 39-Bus Test System: An Assume-Guarantee ApproachB Wooding, A Lavaei, S Soudjani2023
Robust Simulation Functions with Disturbance RefinementB Wooding, A Lavaei, V Vahidinasab, S Soudjani20231
Data-driven abstraction-based control synthesisM Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding202212
Control and management of active buildingsB Wooding, V Vahidinasab, M Kazemi, S Soudjani20212
Operation and control of a population of active buildings at network levelB Wooding, V Vahidinasab, S Soudjani20212
Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical systemS Bogomolov, J Fitzgerald, FF Foldager, C Gamble, PG Larsen, K Pierce, …20215
ARCH-COMP20 Category Report: Stochastic Models.A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, …202013
Formal Controller Synthesis for Frequency Regulation Utilising Electric VehiclesB Wooding, V Vahidinasab, S Soudjani20208
Using Formal Methods and Proof to Verify a CANDO Epilepsy Medical DeviceB Wooding20191