Prof. David Ham is a Professor of Computational Mathematics at the Department of Mathematics, Faculty of Natural Sciences, Imperial College London. His research focuses on high-level abstractions for scientific computation, particularly in geophysical fluids and numerical software. He leads the Firedrake project and co-developed the dolfin-adjoint framework, which received the 2015 Wilkinson Prize for Numerical Software. Ham holds a BSc (Mathematics) and LLB from The Australian National University, and a PhD from TU Delft. His career includes roles as a NERC Independent Research Fellow and Grantham Research Fellow at Imperial College. He is affiliated with the Grantham Institute, Mathematics of Planet Earth, and Software Performance Optimisation groups. His research spans computational science, including finite element methods, adjoint-based inversion, and parallel computing. Recent work emphasizes differentiable programming integration with machine learning and geophysical modeling. Ham has contributed to numerous grants and projects, including EPSRC and NERC-funded initiatives. He leads development of software tools like Firedrake and Thetis, advancing computational methods for oceanography and geodynamics.
Dr. Danial Chitnis is a Chancellor's Fellow and Lecturer in Electronics at the School of Engineering, University of Edinburgh. He holds a DPhil in Engineering Science from the University of Oxford (2013) and has expertise in microelectronics, biomedical engineering, and quantum imaging. His research focuses on SPAD arrays, time-of-flight sensors, and wearable optical systems for biomedical applications. Education: BSc in Electronics Engineering, Chamran University of Ahvaz (2002–2007) MSc in Advanced Microelectronics Systems Engineering, University of Bristol (2007–2008) DPhil in Engineering Science, University of Oxford (2009–2013) Research Interests: Single-Photon Avalanche Diode (SPAD) arrays for optical communications and biomedical imaging Quantum-enhanced imaging via QuantIC Hub Wearable sensors for near-infrared spectroscopy (NIRS) AI-driven automation in test and measurement systems Articles Trends: Recent work emphasizes AI integration in electronics design, photon-counting receivers for 6G networks, and portable biomedical devices. Notable contributions include SYCL-based acceleration of circuit simulations and FPGA-driven time-to-digital converters. Grants & Collaborations: Principal Investigator of multiple grants, including EPSRC-funded projects on AI-enhanced human-machine interfaces and quantum technology applications. Collaborates with UCL, QuantIC, and industry partners like Keysight Technologies. Labs/Teams: Co-investigator at QuantIC, the UK Quantum Technology Hub in Quantum Enhanced Imaging. Leads interdisciplinary research on detector arrays and systems for quantum physics and consumer cameras.
Professor David Thomas holds the position of Professor in Computer Engineering at the University of Southampton's Electronics and Computer Science Department. His research focuses on the intersection of software and hardware, particularly leveraging FPGAs for novel digital architectures and event-driven computing. He has a notable academic trajectory, having previously served as a Lecturer and Senior Lecturer at Imperial College London before joining Southampton in 2021. Dr. Thomas is actively involved in supervising PhD students and contributes to interdisciplinary research projects funded by the EPSRC, such as the SONNETS initiative exploring scalable event-triggered systems. Education: BSc in Computer Science (Imperial College London), PhD in Digital Architectures (Imperial College London). Postdoctoral roles included Research Associate and Research Fellow at Imperial's Department of Computing. Research Interests: Event-driven computing, FPGA-based systems, high-level synthesis, and high-performance computing. His work emphasizes practical implementations of theoretical models, such as custom processors and application-specific accelerators. Current projects include optimizing random number generation for FPGAs and exploring meta-programming techniques for hardware design. Advising and Grants: Supervises multiple PhD students in areas like neuromorphic computing and algorithm optimization. Active in securing funding for distributed system architectures and FPGA-based solutions. Labs/Teams: Member of the Cyber Physical Systems research group. Collaborates with interdisciplinary teams on projects like POETS (Partially Ordered Event-Triggered Systems) for large-scale parallel computing.
Dr. Guangliang Cheng is an Associate Professor in the Department of Computer Science at the University of Liverpool. His research focuses on deep learning, computer vision, and perception algorithms with applications in remote sensing, medical imaging, and autonomous systems. Prior to his current role, he served as a vice research director in the Autonomous Driving Group at SenseTime and completed postdoctoral research at the Aerospace Information Research Institute, Chinese Academy of Sciences. Ph.D. in Pattern Recognition from the National Laboratory of Pattern Recognition (NLPR), Institute of Automation, Chinese Academy of Sciences (CASIA) Postdoctoral Researcher at Aerospace Information Research Institute, Chinese Academy of Sciences (2017–2019) Dr. Cheng’s research integrates computer vision and deep learning to address challenges in semantic segmentation, domain adaptation, and robust detection. Recent work explores wavelet-based multimodal fusion for remote sensing and attention-guided architectures for medical imaging. His 2025 publications span journals like GIScience & Remote Sensing and Knowledge-Based Systems , emphasizing scalable solutions for geospatial and biomedical applications. In 2025, Dr. Cheng’s article trends highlight remote sensing semantic segmentation, cross-domain medical imaging, and drone-based fire detection. His collaborations span institutions such as SenseTime, Chinese Academy of Sciences, and University of Liverpool teams, focusing on frequency-domain fusion, attention mechanisms, and GPU optimization. As a supervisor, Dr. Cheng seeks highly motivated PhD students to join projects supported by scholarships including the Centres for Doctoral Training (CDT) and Duncan Norman Scholarship. He serves as Module Co-ordinator for COMP338: Computer Vision (2024–2025) and actively reviews for top-tier journals and conferences.
Timothy Harris is an Affiliated Lecturer at the University of Cambridge's Department of Computer Science and Technology, where he jointly teaches courses on multicore semantics and programming. Currently, he works at OpenAI, focusing on performance optimization for GPU inference of large language models, including the Azure OpenAI Service. Previously, he held roles at Microsoft, AWS, Oracle Labs, and was a faculty member at the University of Cambridge (2000–2004). His research spans distributed systems, runtime systems, operating systems, and high-performance computing, with an emphasis on scalability and performance. He contributed to projects like the Xen hypervisor and the Barrelfish research OS. Key research interests include distributed training of PyTorch models in the ONNX runtime, large-scale storage performance with Amazon S3, and runtime systems for in-memory graph analytics. His work often bridges 'big data' and high-performance computing techniques. Notable contributions include the book Transactional Memory (2010) and the Barrelfish OS, alongside numerous publications in top-tier conferences like SOSP, ASPLOS, and EuroSys. He has served as PC chair for ISMM 2025, VEE 2017, and EuroSys 2015, reflecting his leadership in the systems research community. His awards include a Best Paper Award at PACT 2010. Beyond academia, Harris is an avid hiker, aiming to complete the UK coastline, and maintains a photography portfolio at tlhphotography.uk .
Dr. John Wickerson is an Associate Professor in the Circuits and Systems group at the Department of Electrical and Electronic Engineering, Imperial College London. His research focuses on improving the reliability of high-performance computing through formal methods, with contributions to high-level synthesis, memory models, and concurrency verification. He holds leadership roles including Course Director for the Electrical and Information Engineering degree and Deputy Tutor for PhD students. Research Interests: Formal Verification of Hardware/Software Systems High-Level Synthesis (HLS) and FPGA Compilation Weak Memory Models and Concurrency Semantics Fuzz Testing for Hardware Tools Compiler Optimization and Correctness Digit Elision and Arbitrary-Precision Arithmetic Notable Achievements: Best Paper Award at EuroSys 2024 (database isolation validation) Pioneered formal methods for HLS tools (e.g., QuteFuzz, C4) Co-developed the C4 C compiler concurrency checker Published over 60 peer-reviewed papers across top venues (ASPLOS, PLDI, FPGA) Lab/Team: Part of the Circuits and Systems group at Imperial College, collaborating with industry partners like Kaihong Yann and ARM.
Andreas Grothey is a Senior Lecturer in the School of Mathematics at The University of Edinburgh, a position he has held since 2011. He completed his MSc in Numerical Algebra and Mathematical Computing at the University of Dundee (1995) and his PhD in Optimization at the University of Edinburgh (2001), supervised by Ken McKinnon. His research focuses on stochastic programming, interior point methods, decomposition approaches, high-performance computing, and energy systems optimization. He has contributed to energy planning, power grid reliability, and emergency response strategies for power networks. Grothey has advised seven PhD students, including work on unit commitment, top-percentile traffic routing, and power flow optimization. His projects include the OOPS solver, CESI energy integration center, and the Structured Modelling Language (SML). Recent work addresses pandemic policy optimization and exascale computational challenges. Education: MSc in Numerical Algebra and Mathematical Computing (University of Dundee, 1995) PhD in Optimization (University of Edinburgh, 2001) Research Interests: Stochastic Programming Interior Point Methods Decomposition Methods High-Performance Computing Energy Systems Optimization Advising & Projects: PhD Supervision (7 students, 2007–2022) OOPS Parallel Solver Development CESI Energy Systems Integration SML Structured Modelling Language Labs/Teams: Member of the Edinburgh Research Group on Optimization, leading projects in power grid stability and energy planning.
Professor Quanmin Zhu is a Professor in Control Systems at the School of Engineering, University of the West of England (UWE), Bristol, UK, holding this position since 2004. His academic career spans over four decades, including roles as Lecturer at Qiqihar University (China, 1983-1986), Post-doctoral Researcher at University of Sheffield (UK, 1989-1994), Lecturer at University of Brighton (UK, 1994-1997), and Lecturer/Reader at Aston University (UK, 1997-2004). His educational background includes: MSc in Engineering from Harbin Institute of Technology, China (1980-1983) PhD from University of Warwick, UK (1986-1989) Professor Zhu's research centers on dynamic system modeling, identification, control, and simulation, with pioneering contributions to nonlinear control systems, robust control methodologies, and U-model based control frameworks. His work bridges theoretical advances with practical applications in robotics, renewable energy systems, and industrial automation, emphasizing model-free and adaptive control solutions for complex nonlinear dynamics. Analysis of his 2021-2025 publications reveals a dominant focus on robust control for uncertain nonlinear systems, with significant contributions to sliding mode control, multi-agent coordination, and cyber-physical security. His research increasingly integrates machine learning techniques (e.g., actor-critic reinforcement learning) while maintaining core expertise in optimization-based control algorithms applied to UAVs, robotic manipulators, and wind energy systems. His professional honors include: Chartered Engineer (CEng) Fellow of the Institution of Engineering and Technology (FIET) Fellow of the Higher Education Academy (FHEA) As an academic leader, Professor Zhu serves as President/Founder of the International Conference on Modelling, Identification and Control (ICMIC), Editor/Founder of Elsevier's Book Series on Emerging Methodologies in Modelling and Control, and University Ambassador for UK-China educational collaboration. His research group secures substantial grants in control theory applications, with ongoing projects in U-model control platforms and international partnerships. He leads the Control Systems research group at UWE, driving innovation in the U-control platform and its industrial applications. His team maintains strong international collaborations, particularly with Chinese institutions, and actively develops the Elsevier Book Series as a key publication channel for emerging control methodologies.
Vahid Yazdanpanah is an Assistant Professor (Lecturer) of Computer Science at the University of Southampton and a Visiting Lecturer at the University of Twente. He holds a PhD from the University of Twente (2019), an MSc in Artificial Intelligence from Utrecht University (2015), and an MBA from the University of Greenwich (2012). His research focuses on multiagent systems, AI responsibility, and circular economy applications. He leads the Agents, Interaction and Complexity (AIC) research group and is an RRI Champion for the UKRI CDT in AI for Sustainability (SustAI). Research interests include agent-based computing, formal logics for multiagent decision-making, and socio-technical systems. Notable awards include the Best Paper Award at PRIMA 2016 and recognition at AAMAS 2021. He teaches courses such as COMP2211 (Software Engineering) and supervises PhD students in AI and sustainability. Active projects include the ARGOS (AI Resilience Governance) and AutoTrust (Internet of Vehicles) initiatives. He has served on program committees for AAAI, IJCAI, and AAMAS, and reviews for journals like AI & Society and Annals of Operations Research. His work bridges technical AI advancements with ethical, legal, and societal challenges in responsible AI deployment.
Mark Batty is a Professor in the School of Computing at the University of Kent, specializing in formal methods for concurrent systems. His work bridges hardware-software interfaces, focusing on memory models for C/C++, OpenCL, and architectures including x86, ARM, POWER, and GPUs. As a member of the Programming Languages and Systems Research Group, he develops mathematical specifications and verification tools for real-world concurrency challenges. His research centers on empirical testing of hardware/compiler behavior, formal modeling of system components, and verification of fine-grained concurrent algorithms. Key contributions address relaxed memory semantics, transactional memory, and compositional reasoning for concurrent data structures. His work combines theoretical rigor with practical tool development to ensure correctness in complex concurrent environments. Analysis of his 2015-2025 publications reveals consistent focus on memory consistency models, formal verification of weak memory concurrency, and compiler optimizations. Dominant themes include C/C++11 standards, GPU concurrency semantics, and mechanized verification techniques. His research demonstrates strong industry relevance through collaborations with hardware vendors and contributions to language standards. Mark Batty has received significant recognition: John C. Reynolds Doctoral Dissertation Award (2015) from ACM SIGPLAN CPHC and BCS Distinguished Dissertation Award (2015) Lloyds Register Foundation and Royal Academy of Engineering Research Fellowship (2016) He actively leads major research initiatives and mentors next-generation researchers: Current Funding: EPSRC Standard Grant 'Verifiably Correct transactional memory' (2018), VeTTS Grant 'Specification and verification of C++ data structure libraries' (2018), EPSRC First Grant 'Compositional, dependency-aware C++ concurrency' (2018) PhD Recruitment: Actively seeking candidates for UKRI-funded studentship in Verified Trustworthy Software Systems Batty drives community engagement through Kent Concurrency Workshop (2016) and South of England Programming Language Seminars, fostering national collaboration in programming languages research. His leadership in organizing Royal Society discussions underscores his influence in trustworthy systems verification.
Dr. Patrick Beullens is an Associate Professor in Operational Research and Management Science at the University of Southampton's Southampton Business School. He specializes in applied research across ocean shipping, retail supply chains, logistics, and inventory control. His work integrates mathematical techniques such as stochastic processes, optimization algorithms, and game theory to address real-world challenges like environmental performance in shipping and food waste reduction. Key roles include Principal Investigator on EC-funded projects (e.g., SEABILLA, LOGMAN) and supervision of PhD students like Fangsheng Ge. Current projects focus on maritime emission abatement and economic ship speed models. He teaches Supply Chain Management, Risk Management, and Optimization courses. Research Groups: CORMSIS, Southampton Marine and Maritime Institute, Supply Chain Excellence Centre. Grants: Over £200k from Shell and SMMI for PhD scholarships, MoD-funded inventory projects, and EU initiatives. His research spans maritime economics, reverse logistics, and decision-making under risk. Collaborations include BAE Systems, EDF Energy, and international institutions like the Joint Research Centre.
Dr Graeme Bragg is a Senior Teaching Fellow at the University of Southampton within the Department of Electronics and Computer Science . His work spans teaching, research, and technical development with a focus on event-driven computing, bioinformatics, and computational modeling. He actively supervises PhD students and collaborates on interdisciplinary projects. Research Interests: Parallel computing, event-driven systems, genotype imputation, Petri net simulations, subglacial hydrology modeling Teaching: Specializes in hardware description languages and computational methods for engineering students Technical Expertise: RISC-V architecture, FPGA acceleration, bespoke compute fabric development His recent publications demonstrate expertise in applying event-driven computing to diverse problems including: 2025: Automated marking systems for SystemVerilog labs 2025: Seasonal dynamics in subglacial hydrology 2023: Genotype imputation using custom hardware 2022: Optimization algorithms and graph analysis Current research explores: Custom RISC-V FPGA clusters for bioinformatics Event-triggered systems for scientific simulations Parallel computing solutions for molecular modeling Contact: gmb@ecs.soton.ac.uk | +44 23 8059 2784
Dr. Stefan Klus is a Lecturer at the School of Mathematics and Physics, University of Surrey. His research focuses on data-driven model reduction, transfer operator approximation, and kernel-based machine learning applied to dynamical systems. He specializes in interdisciplinary applications across quantum physics, fluid dynamics, and computational biology. Education: PhD in Industrial Mathematics (2011, Paderborn University) and Habilitation (2020, Freie Universität Berlin). Research Interests : Data-driven modeling and reduced-order methods Koopman operator theory and transfer operators Machine learning for dynamical systems (e.g., Deeptime library) Tensor decompositions and quantum systems analysis Graph-based analysis (e.g., microbiome dynamics) Publications : Klus has contributed to over 50 peer-reviewed articles, with recent work emphasizing: Kernel methods for quantum chemistry and physics Tensor-based approaches for high-dimensional systems Applications in climate science (e.g., Pacific SST modeling) Agent-based modeling and social systems Technical Contributions : Co-developer of the Deeptime Python library for dynamical modeling Pioneer in Koopman operator-based model reduction Advanced graph kernel methods for microbiome analysis
Professor Klaus McDonald-Maier is a full Professor in the School of Computer Science and Electronic Engineering (CSEE) at the University of Essex , where he leads the Embedded and Intelligent Systems (EIS) Research Laboratory and heads the Intelligent Embedded Systems and Environments Research Group . He is also Director of Impact , Visiting Professor at the University of Kent, and Visiting Research Affiliate at NASA Jet Propulsion Laboratory, California Institute of Technology. Education PhD in High-Performance Parallel Neural Network Architectures, Friedrich-Schiller-University Jena (Germany, 1999) Electronic Engineering studies, University of Ulm (Germany) Electronic Engineering studies, Cardiff University (Wales) Electronic Engineering studies, École Supérieur de Chimie Physique Électronique de Lyon (CPE-Lyon) (France) Research Interests Professor McDonald-Maier’s research integrates embedded systems , System-on-Chip (SoC) architectures , and AI-driven robotics . He pioneers visual place recognition techniques that remain robust under severe appearance and viewpoint changes, develops cybersecurity frameworks based on ICMetrics for autonomous vehicles and IoT, and designs approximate real-time computing solutions for energy-constrained multicore and FPGA platforms. His work on radiation-tolerant systems supports space and nuclear applications, while his bio-inspired algorithms enable lightweight, neuromorphic perception on resource-limited robots. Publication Trends Between 2022 and 2025 his output converges on FPGA-accelerated AI , secure edge intelligence , visual navigation for autonomous systems , and healthcare analytics . He repeatedly couples rigorous algorithmic innovation with practical hardware deployment, yielding energy-efficient, real-time systems validated in domains ranging from autonomous driving to post-stroke rehabilitation. Scientific Awards & Recognition Best Paper Award – IEEE Transactions on Sustainable Computing (2024) Best Paper Award – IEEE/ACM DATE (2024) Best Paper Award – IEEE Systems Journal (2022) Best Paper Award – IEEE Sensors Journal (2021) Best Paper Award – IEEE Access (2020) Research Grants & Industrial Collaboration He has secured major funding from EPSRC , EU Horizon 2020 , Innovate UK , and industry partners. Current projects span trustworthy autonomy, radiation-hardened edge AI, and AI-enhanced rehabilitation technologies. He is Chief Scientist of UltraSoC Technologies Ltd and CEO of Metrarc Ltd , commercialising University research in semiconductor debug and cybersecurity respectively. Laboratory & Team Leadership As Director of the Embedded and Intelligent Systems Laboratory (EIS Lab) , he oversees a multidisciplinary team of researchers and PhD students, providing state-of-the-art FPGA, robotics, and embedded-systems facilities. The lab collaborates closely with NASA JPL, UK Atomic Energy Authority, and leading semiconductor firms to translate fundamental research into high-impact industrial solutions.
Dr. Werner Bauer is a Lecturer in Mathematics at the University of Surrey, affiliated with the Mathematics at the Interface Group within the School of Mathematics and Physics. His research focuses on numerical analysis and scientific computing, particularly in the Mathematics of Planet Earth. Key areas include parallel-in-time methods for oscillatory PDEs, structure-preserving discretizations for fluid dynamics, stochastic flow models for ensemble prediction, and geometric formulations of fluid and magnetohydrodynamic systems. He also explores finite difference and finite element methods, with prior work on grid adaptation in weather and climate models. His research interests span numerical methods for geophysical flows, stochastic modeling of oceanic and atmospheric dynamics, and energy-conserving computational frameworks. Bauer’s recent work emphasizes uncertainty quantification, ensemble forecasting, and the development of compatible finite element schemes to ensure physical conservation laws in simulations. Bauer’s publications highlight advancements in structure-preserving discretizations, stochastic parameterization of mesoscale eddies, and variational integrators for geophysical equations. His work bridges applied mathematics and computational science with applications in climate modeling and environmental fluid dynamics.
