Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Rogério de Lemos is a Senior Lecturer in Computing Science and Director of Postgraduate Research (PGR) at the School of Computing, University of Kent. He previously served as an invited assistant professor at the University of Coimbra, Portugal, and as a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, UK. Dr. de Lemos' research focuses on architecting resilient systems, particularly in resilient AI, self-adaptive software systems, and authorization infrastructures. He belongs to both the Programming Languages and Systems Group and the Cyber Security Group at the University of Kent. His specific research interests include: Software engineering for self-adaptive systems assurances and resilience evaluation Dynamic generation of processes Handling insider threats using self-adaptive authorization Architectural abstractions for fault tolerance Verification and validation of dependable software architectures Software development for safety-critical systems Dependability and bioinspired computing His publication trends show increasing emphasis on practical applications of self-adaptive systems in cyber security contexts, with recent work spanning network traffic analysis, cryptographic function detection, and cloud-edge security architectures. His research bridges theoretical foundations with practical implementations, particularly in cyber security and resilient systems architecture. Dr. de Lemos currently leads the "Collaborative and Confidential Information Sharing and Analysis for Cyber Protection" project funded by the European Union's Horizon 2020 Programme. His past projects include "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems" and multiple collaborations with NCR on sensor fusion and fault tolerance. As Director of Postgraduate Research, he oversees the School of Computing's research degree programs and likely supervises PhD students in resilient systems and cyber security, though specific student names are not listed in the available information.
Aybars Tuncdogan is a Reader in Digital Innovation and Information Security at King’s Business School, King’s College London. He holds affiliations with the King’s AI Institute, King’s Cybersecurity Centre (Informatics), and King’s Cybersecurity Group (War Studies). A Fellow of the Higher Education Academy, he also serves on the editorial review board of Industrial Marketing Management . Education : PhD in Management, Rotterdam School of Management, Erasmus University MPhil in Business Research (Distinction), Erasmus University Bachelor’s in Business Management & Computer Science (Honors), Earlham College Research Interests : His work focuses on three pillars of digital innovation: generation (crowdsourcing, AI), marketing (digital brand personality, sales ambidexterity), and protection (information security, corporate espionage). He integrates psychology (individual differences, social identity) and computer science (machine learning/AI) frameworks. Publications Trends : Recent work addresses cybersecurity challenges in retail, AI ethics in healthcare, and interdisciplinary innovation. He frequently publishes in top-tier journals like Journal of Management and Scientific American , blending academic rigor with practitioner impact. Awards & Contributions : 2015 Best Paper Award (shared) Edited books including Oxford Handbook of Individual Differences and Strategic Renewal Teaching & Pedagogy : Develops innovative teaching methods like inquiry-based learning to foster student creativity. Taught modules on digital marketing, consumer behavior, and research methods. Labs/Teams : Contributes to cybersecurity initiatives at King’s, focusing on AI-driven defense mechanisms and organizational cyber resilience strategies.
Dr. Saad Khan is a Senior Lecturer in Cyber Security at the Department of Computer Science, School of Computing and Engineering, University of Huddersfield, United Kingdom. He is an active researcher and educator, supervising multiple PhD students and contributing to government-funded cybersecurity projects with Innovate UK, DCMS, and DASA. He is also a Fellow of the Higher Education Academy and serves on program committees for major conferences. His research focuses on intelligent systems for cyber security and digital forensics. Key areas include Security Information and Event Management (SIEM), access control, authentication, vulnerability assessment, anomaly detection, and image forensics. He aims to develop automated software tools that enhance digital infrastructure resilience against modern cyber threats. The recent publications reflect a strong trend in applying machine learning and AI to cybersecurity challenges, particularly in IoT security, zero-day attack detection, and human-centric security awareness. His work bridges technical innovation with practical implementation in real-world environments. Scientific Awards: Fellow of the Higher Education Academy Dr. Khan actively supervises PhD students and contributes to research grants through collaborations with UK government agencies. He has led work in three major funded projects and regularly reviews for top-tier journals and conferences. He is a member of the Centre for Cybersecurity at the University of Huddersfield, where he collaborates on interdisciplinary research initiatives focused on secure digital transformation and intelligent defense systems.
Reiko Heckel is a Professor of Software Engineering at the University of Leicester, serving as Director of Postgraduate Teaching for Computing degrees and Data Analytics Lead at the Leicester Innovation Hub. She previously held academic roles at the Technical Universities of Dresden and Berlin before joining Leicester in 2004. Her research focuses on graph transformation systems, model-based development, stochastic modeling, and formal methods in software engineering. She earned her PhD (Dr.-Ing.) in Computer Science from TU Berlin in 1998. Her research interests span software engineering pedagogy, formal specification techniques, and applications of graph grammars in system modeling. Recent work explores stochastic graph transformations for social networks, transparency engineering in AI systems, and blockchain-based smart contract frameworks. Her contributions bridge theoretical foundations with practical applications in cybersecurity, data integration, and human-centric systems design. Key contributions include advancements in automated test case generation via graph transformations, visual contracts for software reverse engineering, and formal methods for complex system analysis. Her work frequently intersects with industry through collaborations via the Leicester Innovation Hub, emphasizing data analytics and technology transfer. Education: MSc Computer Science, Technical University of Dresden PhD (Dr.-Ing.), Computer Science, TU Berlin (1998) Leadership Roles: Head of Department (2014-2018) Director of Postgraduate Teaching (Ongoing) Research Themes: Model-Based Development Stochastic Systems Analysis Graph Neural Networks Trustworthy AI Her publications reflect a focus on formal methods, with recent trends in applying graph transformation techniques to social network modeling, blockchain smart contracts, and educational pedagogy.
Julia Camps is a postdoctoral research associate at the University of Oxford, Department of Computer Science. Her work bridges Computational Biology and Health Informatics, focusing on cardiac digital twin development for precision medicine applications. She specializes in combining data-driven and mechanistic approaches for in silico clinical trials, particularly through Purkinje network modeling and ECG-based calibration. Education: Informatics Engineer (2014) and Master's in Artificial Intelligence (2015-2017) from Universitat Politècnica de Catalunya PhD in Computer Science (2017-2021) at Oxford, completed within the Computational Cardiovascular Science research group under Prof Blanca Rodriguez Current role: postdoc in Prof Rodriguez's group since 2021, focusing on post-myocardial infarction disease progression Software development: open-source cardiac digital twin tools available on GitHub Her research interests center on creating patient-specific cardiac digital twins using multimodal clinical data. This work enables virtual therapy evaluation and in silico clinical trials through: Integration of statistical inference and machine learning techniques Development of Purkinje network models from clinical ECG data Electrophysiological and repolarization sequence modeling Gait detection algorithms for Parkinson's disease applications Recent publications (2024-2025) demonstrate trends in: GPU-accelerated cardiac electrophysiology simulations (MonoAlg3D) Topology-informed ECG electrode localization Sex-specific electromechanical cardiac modeling Multi-modal characterisation of diabetic cardiac deterioration Pro-arrhythmic risk assessment for stem cell therapies
Dr. Richard Gault is a Lecturer in the School of Electronics, Electrical Engineering and Computer Science at Queen's University Belfast. His research focuses on computer vision and deep learning applied to microscopy data, particularly in medicine, health, and life sciences. He leads a team developing novel methods for medical image analysis, including histopathology and digital pathology, with applications in cancer diagnosis and environmental science. He is actively involved in teaching, having received Excellence in Teaching awards from Queen's University Belfast in 2019 and 2022. His work bridges computational intelligence and healthcare, with notable contributions to AI-driven diagnostics, stain normalization in histopathology, and multimodal data fusion. Dr. Gault's research interests include ensemble learning, fuzzy systems, and generative models like diffusion networks. He supervises multiple PhD students and has mentored graduates now working in machine learning engineering and postdoctoral research. His team’s achievements include awards such as the 2023 Best Oral Presentation at the Pan Ireland Ophthalmology Day and a 2021 Best Paper Award from his school. Key contributions include the LymphoSight AI application for detecting lymphoid structures and HistoClean , open-source software for improving CNN development in histopathology. He has been recognized as a Senior Member of IEEE and a Fellow of the Higher Education Academy. His work is supported by grants such as the R5131ECI project on 3D quantifier approximation via 2D video analysis (2019–2025). He actively engages in academic activities, including conference organization and PhD external examinations across Europe.
Amir Shaikhha is an Associate Professor (Reader) in the School of Informatics at the University of Edinburgh. He was previously an Assistant Professor (Lecturer) at the same institution from 2020 to 2024 and a Departmental Lecturer at the University of Oxford until August 2020. He is also a Junior Research Fellow at University College, Oxford. His academic journey began with a Ph.D. from EPFL in 2018, where he was awarded the Google Ph.D. Fellowship in structured data analysis and a Ph.D. thesis distinction. His research centers on the design and implementation of data-analytics systems, drawing upon techniques from databases, programming languages, compilers, and machine learning. He develops high-performance systems such as SDQL.py, StructTensor, and VecHT, focusing on the compilation of data science workloads and optimization of tensor operations. His work bridges the gap between high-level abstractions and efficient execution, particularly in sparse and probabilistic computing domains. The recent publications highlight a strong trend in compiler-driven optimizations for data-intensive applications, including automatic differentiation, loop fusion, probabilistic programming, and domain-specific language (DSL) restaging. His research integrates machine learning for systems decisions and emphasizes reproducibility and performance. He has published consistently in top venues like PLDI, OOPSLA, SIGMOD, and CGO, reflecting sustained impact in programming languages and database systems. Dahl-Nygaard Junior Prize, 2025 Google Research Scholar Award, 2025 Most Influential Paper Award, GPCE 2024 Best Paper Award, GPCE 2017 Most Reproducible Paper Award, SIGMOD 2017 Google Ph.D. Fellowship, 2017 Amir Shaikhha has advised PhD students including Hesam Shahrokhi and has been nominated for Best Supervisor of the Year at the University of Edinburgh. He leads research projects that have received recognition and support through awards and grants, including the Google Research Scholar Award. He actively serves the community through program committees (e.g., GPCE, DBPL, DRAGSTERS), editorial roles, and peer review for premier journals. His leadership in organizing workshops and conferences underscores his role as a central figure in the programming languages and databases research communities. He leads a research group focused on compiler and database systems, with recent open-source releases such as StructTensor and VecHT. His team collaborates with researchers from institutions like MIT, EPFL, and TU Berlin, and he co-chairs workshops like Sparse@PLDI and DRAGSTERS. His lab emphasizes innovation in how data-intensive programs are compiled and executed efficiently across modern hardware.
Professor Barry Porter is a faculty member at Lancaster University in the School of Computing and Communications . His research focuses on emergent software platforms that address software complexity through component models , meta-software platforms , and machine learning . Key areas include distributed systems, cloud integration with sensor nodes, green computing, and real-time visualization. Research Interests : Runtime adaptation in complex systems Self-assembling software architectures Machine learning for code optimization Distributed emergent systems at scale Green computing for multi-core environments Edge-cloud continuum integration Recent Publication Trends : His 2025 work explores genetic improvement for software using speciation algorithms , program geometry projection , and multi-agent decision frameworks . Earlier studies (2022-2024) investigate edge-cloud systems , neural transfer learning , and ecosystem curation in emergent software. Supervision & Projects : He supervises PhD student Ben Craine and leads projects like B-EGI (Bio-Enhanced Genetic Improvement) and BBC Prosperity Partnership for media delivery. Collaborations span environmental IoT, multi-agent learning, and fog computing. Labs & Groups : Affiliated with the Lancaster Intelligent, Robotic and Autonomous Systems Centre , Centre of Excellence in Environmental Data Science , and the Distributed Systems group.
Roles and Affiliations : Dimitris Kolovos is a Professor of Software Engineering at the University of York's Department of Computer Science. He leads the Automated Software Engineering (ASE) research group and is an Eclipse Foundation committer, leading development of the Epsilon open-source platform. His roles include research leadership, teaching, and academic service. Education : PhD in Software Engineering - University of York MSc in Software Engineering with Distinction - University of York First Class Honours Degree in Informatics - Athens University of Economics and Business Research Interests : Kolovos focuses on advancing Model-Driven Engineering (MDE), GenAI integration in software development, low-code platforms, and data analytics. His work emphasizes scalable modeling tools, education technology (e.g., MDENet platform), and industry collaboration with organizations like NASA, BAE Systems, and Siemens. Labs and Projects : He leads the Epsilon project under the Eclipse Modelling initiative, developing tools for model transformation, validation, and code generation. His research group also explores AI-driven model transformations and hybrid graphical-textual editors.
Shahid Raza is a Professor of Cybersecurity at the University of Glasgow's School of Computing Science. He previously led the RISE Cybersecurity Unit in Sweden, establishing it as a leading research group. His expertise spans IoT Security, PKI, AI-driven cybersecurity solutions, and hardware/data security. Raza holds a PhD and Docentship from Uppsala University, alongside a Bachelor's with a Gold Medal for academic excellence. Education: B.Sc. (Computer Science, 3.99/4.0 CGPA, Gold Medal), Licentiate, PhD, and Docentship in Cybersecurity from Sweden. He leads EU-funded projects like H2020 CONCORDIA and Horizon Europe CUSTODES, coordinating initiatives such as the Cyber Node and Cyber Range. Active in cybersecurity policy, he serves on the EU SCCG, ECSO, and EARTO Security & Defence Research working groups. Research Interests Public Key Infrastructure (PKI) for IoT AIAgent-Driven Cybersecurity Solutions IoT Certification Standards Hardware Security for Low-Power Devices Grants & Projects Coordinator: Horizon Europe CUSTODES Technical Leader: H2020 Arcadian-IoT Founder: RISE Cyber Range (Sweden's largest cybersecurity test facility) Awards & Memberships IEEE Senior Member Gold Medal for Academic Excellence (Bachelor's)
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.
Dr Fabio Pierazzi is an Associate Professor in Information Security at the Department of Computer Science, University College London. His research focuses on enhancing systems security through AI, particularly in environments where attackers rapidly adapt to defenses. He investigates adversarial attacks, concept drift mitigation, and explainability of ML-based security systems. Research emphasizes adversarial machine learning in security contexts Works on practical applications in malware analysis and network intrusion detection Explores concept drift robustness and problem-space constraints Collaborates with industry to improve real-world security solutions His publications span top-tier venues like IEEE Security & Privacy, ACM CCS, and USENIX Security. Key themes include adversarial robustness, security evaluation methodologies, and AI's limitations in practice. He supervises research degrees and provides consultancy for security projects.
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.
Professor David Wagg is a Professor of Nonlinear Dynamics and Departmental Director of Research and Innovation at the School of Mechanical, Aerospace and Civil Engineering, University of Sheffield. His research focuses on nonlinear structural dynamics, digital twins, vibration suppression, and real-time hybrid testing. He holds a BEng and PhD from University College London and previously served as a Professor at the University of Bristol (2008–2013). Notable awards include the EPSRC Advanced Research Fellowship (2004–2009). Education: BEng and PhD in Nonlinear Dynamics from University College London. Research Interests: Digital twins for dynamics applications, nonlinear structural dynamics, vibration control, real-time hybrid testing, and identification methods for nonlinear dynamics. His work emphasizes applying nonlinear models and control strategies to engineering challenges like wind turbines and large civil infrastructure. Grants & Leadership: Co-Investigator for EPSRC grants on CITCoM and Digitwin, coordinator of the Marie Curie ETN DyVirt, and PI for the EPSRC programme on Engineering Nonlinearity (2012–2017). He co-authored Nonlinear Vibration with Control (2015) and edited books on structural dynamics. Lab/Teams: Involved in the Laboratory for Verification and Validation (LVV) and leads research groups focused on digital twin applications, inerter-based systems, and structural health monitoring.
