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.
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
Dr. Rasmus Ibsen-Jensen is a Lecturer in Computer Science at the University of Liverpool. Previously, he held a Postdoctoral position at IST Austria under Krishnendu Chatterjee and completed his PhD under Peter Bro Miltersen. Research Focus: Algorithmic game theory, strategy complexity in two-player zero-sum games, control flow graph algorithms, edit distance for automata, and theoretical biology applications. Teaching: Module Coordinator for second-year courses in database development (COMP207), C++ programming (COMP282), and industrial placement (COMP299). His work bridges computational game theory and formal verification, with recent publications exploring memory constraints in partial-information games, algebraic path properties in concurrent systems, and evolutionary spatial dynamics. While no scientific awards are explicitly mentioned in the provided text, his contributions to algorithmic complexity and interdisciplinary research (e.g., theoretical biology) highlight his academic impact.
Dr. Chunyan Mu serves as a Senior Lecturer in the School of Natural and Computing Sciences at the University of Aberdeen, actively contributing to both academic instruction and cutting-edge research in computing science while currently accepting new PhD students. Her research program centers on Trustworthy AI and Safe Autonomy, with specialized expertise in formal verification of responsibility, accountability, and privacy mechanisms within multi-agent systems. She investigates resilience frameworks for autonomous intelligent systems and develops advanced methodologies for information flow security analysis, bridging theoretical computer science with practical security implementations. Analysis of her publication trajectory (2014-2025) reveals consistent innovation in applying formal methods to security-critical systems. Key thematic developments include probabilistic strategy logic for observability analysis, quantitative verification of opacity properties, and game-theoretic approaches to security verification, demonstrating increasing sophistication in handling multi-agent accountability and system resilience challenges. Dr. Mu currently supervises PhD candidates and offers a fully funded doctoral position focused on formal verification of safety properties in autonomous systems, providing comprehensive financial support including tuition coverage, £20,780 annual stipend, and dedicated research funding for candidates with strong backgrounds in formal methods and artificial intelligence.
Marcin Jurdzinski is an Associate Professor (Reader) in the Department of Computer Science at the University of Warwick , UK. He has been a faculty member since 2004 and is a core member of the Foundations of Computer Science and Discrete Mathematics and its Applications research groups. University: University of Warwick School: Faculty of Science Department: Department of Computer Science Position: Associate Professor (Reader) Email: Marcin.Jurdzinski@warwick.ac.uk Office: CS2.19 His research lies at the intersection of algorithms, game theory, automata, and logic , with a strong emphasis on formal verification , model checking , and theoretical computer science . He is best known for his foundational work on parity games , including the development of small progress measures and discrete strategy improvement algorithms. The recent publications reveal a consistent focus on computational complexity in games and verification. Key themes include stochastic games, timed automata, bisimilarity, and quantitative analysis . His work often bridges theoretical insights with practical verification challenges, especially in real-time and probabilistic systems. He has supervised several PhD students and hosted postdoctoral researchers such as Laure Daviaud and Alexander Kozachinskiy. He has led EPSRC-funded projects including Solving Parity Games in Theory and Practice and Counter Automata: Verification and Synthesis . PhD Students: Aditya Prakash, Thejaswini K. S., Michail Fasoulakis, John Fearnley, Michal Rutkowski, Ashutosh Trivedi Postdocs: Laure Daviaud, Alexander Kozachinskiy He is actively involved in the academic community, serving on the steering committee of the Highlights of Logic, Games and Automata conference and on program committees for major venues such as CONCUR, ICALP, and LICS. He has also organized workshops including FORMATS and ICALP co-located events.
Perry Hinton is a Professor (Teaching Focused) in the Centre for Applied Linguistics at the University of Warwick, part of the Faculty of Social Sciences. He contributes to the interdisciplinary degree in Language, Culture and Communication, drawing on his expertise in psychology and cultural studies. University: University of Warwick School: Faculty of Social Sciences Department: Centre for Applied Linguistics Academic Rank: Professor Email: P.R.Hinton@warwick.ac.uk His research centers on the psychology of interpersonal perception, especially the interplay between cognition and culture. Key areas include stereotyping as a cognitive and cultural phenomenon and Western (particularly British) interpretations of Japanese culture, including media portrayals and anime. He also has a strong commitment to statistical education, having authored multiple textbooks on SPSS and data analysis. The recent publications reflect a consistent focus on cultural psychology, intercultural communication, and social representation. Themes include the construction of identity, media influence, cultural stereotypes, and cognitive biases in person perception. His work often takes a multidisciplinary approach, integrating insights from psychology, linguistics, and media studies. Perry Hinton has authored and co-authored several influential books in his field, particularly on stereotypes and statistical methods. While no formal scientific awards are listed, his sustained publication record in peer-reviewed journals and with major academic publishers (Routledge, Bloomsbury, Palgrave) indicates significant scholarly recognition. He has supervised or co-edited collaborative works, such as the 2023 volume on intercultural relations, suggesting advisory and mentoring roles. His career path includes positions at five British universities, progressing from lecturer to Head of Department, with extensive experience teaching psychology across disciplines including linguistics, education, and media studies. He joined Warwick's Centre for Applied Linguistics at the inception of its Language, Culture and Communication program in 2014. Hinton works within a multidisciplinary academic environment, contributing to a research culture that bridges psychology and applied linguistics. His collaborations, particularly with Troy McConachy, suggest active participation in intercultural research teams and scholarly networks focused on global communication and cultural understanding.
David Parker is Professor of Computer Science at the University of Oxford and a Tutorial Fellow at Trinity College. His research focuses on formal verification methods for checking system correctness, particularly quantitative verification techniques for probabilistic systems. As leader of the PRISM and PRISM-games projects, he develops tools for analyzing safety, reliability, and performance properties in complex systems. Current research explores verification of AI systems, robust decision-making under uncertainty, and multi-agent systems using stochastic games. His work bridges theoretical foundations with applications in autonomous systems, robotics, and healthcare technology. Recent publications demonstrate advancements in probabilistic temporal logic, robust policy learning, and bisimulation techniques for Markov models. These works consistently emphasize formal guarantees for safety-critical applications and novel approaches to model checking. ETAPS Test-of-Time Tool Award (2024) HVC Award (2016) Professor Parker mentors PhD students in verification, control synthesis, and AI safety, with research funded by ERC, EPSRC, and industrial partners. He serves on editorial boards for Formal Aspects of Computing and ACM Transactions on Autonomous Systems.
Dana Minbaeva is Professor of Strategic Human Capital at King's Business School, King’s College London, UK, and holds a part-time appointment at Copenhagen Business School, Denmark. She is a leading scholar in International Human Resource Management and Strategic Human Capital, with extensive contributions to top-tier journals and global academic leadership. Professor, King's Business School, King’s College London Part-time Faculty, Copenhagen Business School Associate Editor, Academy of Management Review Her research centers on strategic HRM, talent management, knowledge transfer, and institutional dynamics in multinational enterprises, particularly in emerging markets. She explores how human capital is leveraged across borders, the role of informal networks, and the impact of crises like COVID-19 on HR practices. Her work integrates micro-foundational perspectives with macro-level institutional contexts. Recent publications highlight evolving themes in HR analytics, diversity and inclusion, and the disruption of traditional HR models through digital transformation and global crises. Her research consistently appears in premier journals such as Academy of Management Review , Journal of International Business Studies , and Human Resource Management . Fellow of the Academy of International Business (AIB) Recipient of the JIBS Decade Award 2013 Dana Minbaeva actively supervises research, leads funded projects such as the ESRC study on diversity management transfer in Pakistan, and contributes to executive education and MBA teaching across Europe. She is also the founder of Nordic Human Capital Advisory ApS, bridging academic insight with practical application. Her work engages with UN Sustainable Development Goals related to decent work and economic growth, and she has led initiatives on diversity, inclusion, and workforce analytics.
Sohag Kabir is an Associate Professor in the School of Computer Science, Artificial Intelligence, and Electronics at the University of Bradford. He leads the MSc Big Data Science and Technology, MSc Artificial Intelligence and Machine Learning, and MSc Applied Computer Science and Artificial Intelligence programs. He holds a Ph.D. in Computer Science from the University of Hull (2016), an M.Sc. in Embedded Systems, and a B.Sc. in Computer Science and Engineering. Dr. Kabir's research focuses on safety, reliability, and security assurance of cyber-physical autonomous systems. His work includes model-based safety analysis, probabilistic risk assessment, dynamic reliability analysis, and stochastic modeling. Current projects address IoT security, machine learning certification for automotive systems, and dependability frameworks for complex systems. His publications demonstrate consistent focus on developing integrated frameworks for system dependability, with recent work emphasizing IoT security, autonomous vehicle safety, and AI certification challenges. Dr. Kabir has contributed to multiple EU-funded projects including DEIS (Dependability Engineering Innovation for Cyber-Physical Systems) and MAENAD (Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles).
Dr. Petar Bankov is a Lecturer in Political & International Studies at the University of Glasgow. His research focuses on comparative party politics, political participation, populism, and Central and Eastern European politics. He employs mixed methods including regression analysis, survey experiments, and qualitative approaches (interviews, document analysis). He is Communications Officer for the PSA Left Radicalism Specialist Group and a member of the editorial team of dVERSIA , a Bulgarian left-wing magazine. His work emphasizes improving citizen-party relations to enhance political participation. Education: BA in International Relations, University of Sofia (Bulgaria) Joint International Master’s in Russian, Central, and East European Studies from University of Glasgow and Jagiellonian University (Poland) PhD research on electoral geographies of the European radical left Research Interests: Comparative politics, left-wing politics, political geography, and populism. His work explores party organization dynamics in post-communist contexts, electoral behavior, and democratic resilience. Grants: €10,000 from Friedrich Ebert Foundation-Bulgaria (2022) €3,000 Advanced Postdoctoral Fellowship (Babeș-Bolyai University, 2021) £3,500 Overseas Fieldwork Allowance (ESRC/SGSSS, 2017) Erasmus Mundus Master’s Scholarship (€20,000, 2012–2014) Teaching: Undergraduate: Politics 1B (Liberal Democracy), Politics 2B (Comparative Politics), Central and East European Studies modules Honours: Qualitative Methods in Social Sciences, Politics of the European Left Postgraduate: Qualitative Research Methods Labs/Teams: Part of the PSA Left Radicalism Specialist Group and dVERSIA editorial board. Engaged in non-formal education promoting intercultural exchange.
Matthew Collinson is a Senior Lecturer in Computing Science at the University of Aberdeen, where he also serves as Head of Computing Science and Academic Line Manager. He holds an affiliation with the Scottish Informatics and Computer Science Alliance (SICSA) and leads the EPSRC-funded project SSPEDI (Supporting Security Policy with Effective Digital Intervention). Education: BSc Mathematics, University of Edinburgh (1997) MSc Mathematical Logic, University of Manchester (1998) PhD Computer Science, University of Manchester (2003) Research Interests: His research spans theoretical computer science and cybersecurity , focusing on non-classical logics (intuitionistic, modal, substructural), semantics of computation , concurrency theory , and type theory . He applies these foundations to information security , particularly in modelling security policies, access control, and the economics of cybersecurity decisions. His work integrates formal verification , simulation tools (e.g., Gnosis), and game-theoretic models . Publications Trends: Recent publications (2016–2022) emphasize human-centred security , exploring how persuasion and behavioural interventions can reduce cybersecurity vulnerabilities. Earlier works (2008–2015) concentrate on mathematical systems modelling , layered graph logics , and trust domains , bridging high-level policy and low-level system configurations. Projects & Grants: SSPEDI (2017–2020, EPSRC): Human dimensions of cybersecurity policy compliance. ALPUIS (EPSRC consortium): Algebra and logic for security policy and utility. Trust Domains (RCUK/TSB, 2011–2014): Framework for modelling secure information sharing. Seconomics (EU FP7, 2012–2015): Socio-economic impacts of cybersecurity regulation. PhD Supervision: He has successfully supervised PhD students including Kevin McDonald (2014), Barry Taylor (2015), and Robert (Bob) Duncan (2016), whose theses addressed logic-based security architectures, vulnerability analysis, and cloud stewardship respectively. Labs & Teams: His research is conducted within the Computing Science section of the School of Natural and Computing Sciences, leveraging collaborations with National Grid, HP Labs, and other academic partners.
Chuanping Sun is a Lecturer in Finance at Bayes Business School, City, University of London. He earned his PhD in Economics from Queen Mary University of London and has held visiting positions at New York University and FGV Sao Paulo. His research bridges machine learning and empirical finance, with a focus on robust factor selection in asset pricing models. His research interests include: Empirical Asset Pricing Financial Econometrics Machine Learning in Finance Portfolio Choice Cross-Sectional Asset Returns Factor Models His recent work investigates the impact of factor correlations on model robustness, proposing a correlation-robust machine learning approach (using OWL shrinkage) to identify key drivers of asset returns, including the market, liquidity, momentum, and profitability factors. His research shows that traditional methods like LASSO and Fama-MacBeth often fail to detect the market factor due to high correlations, while his approach maintains robustness and delivers superior out-of-sample portfolio performance. His two recent publications in the Journal of Empirical Finance (2024, 2022) demonstrate his focus on methodological innovation in high-dimensional financial datasets, particularly in handling correlated factors and exploiting stock return correlations. He has received internal research funding from City University of London's Pump Priming Fund, supporting his ongoing projects in machine learning applications in finance. While no formal advisees are listed, his role as a lecturer and research supervisor (as indicated by his CRediT contribution) suggests involvement in student mentorship. Chuanping Sun is affiliated with the Finance department at Bayes Business School, where he contributes to research and teaching in quantitative finance and econometrics.
Dr. Eike Schneiders is a Lecturer at the School of Electronics and Computer Science, University of Southampton. He holds a PhD in Computer Science from Aalborg University and is a recipient of the UKRI Trustworthy Autonomous Systems Hub Early Career Researcher Award. His research focuses on autonomous and AI-infused systems, investigating how to ensure their trustworthiness and responsible interaction with humans and other agents through interdisciplinary collaborations across art, law, and medicine. His recent work explores the societal impact of Generative AI, particularly examining its influence on legal services accessibility for non-experts through the REGALS project (Principal Investigator) and its effects on creative communities via the ART-I project (Co-Investigator). Dr. Schneiders emphasizes public engagement to enhance AI literacy and employs both qualitative and quantitative methods to study human-computer interaction and ethical implications. Dr. Schneiders teaches courses including COMP6251 (Web and Cloud Application Development), ELEC6259 (Research Methods and Project Preparation), and ELEC6200 (Group Design Project). His pedagogical approach integrates foundational technical skills with critical research methodologies. He has led several interdisciplinary projects including ARTificial Intelligence: Show Me a Story about AI (ART-I) and Responsible Employment of Generative AI for Legal Services (REGALS), and contributes to the Agents, Interaction and Complexity research group. His Cat Royale project received the 2024 Webby Award for Best Integrated Experience. Honors include the Best Paper Award at ACM CHI 2024, multiple Honourable Mentions at CHI and TAS Symposiums, and membership in the Foundation for Science and Technology's Future Leaders Programme.
Professor Ian McHale is a leading academic in sports statistics and gambling market analysis at the University of Liverpool. His research focuses on statistical methodologies for sports performance evaluation, gambling regulation impact, and audience behavior. He has served as founding Chair of the Royal Statistical Society's Statistics in Sport Section and is an Associate Editor for the International Journal of Forecasting and Journal of Quantitative Analysis in Sport . His work bridges academia and industry through collaborations with football clubs, the Premier League, bookmakers, and regulatory bodies like GambleAware. Key professional activities include developing the EA SPORTS Player Performance Indicator for the Barclays Premier League and leading the Sports Analytics Machine (SAM), which provides BBC Spot forecasts for football matches. His research addresses topics such as player rating systems, match-fixing detection, and lottery player behavior. He actively engages in educating stakeholders via courses on sports analytics and forecasting. Notable contributions include methodologies for age-dependent performance analysis in golf and snooker, Bayesian models for detecting judging biases in MMA, and evaluations of gambling market dynamics. His work emphasizes practical applications, such as improving sports integrity, optimizing betting strategies, and enhancing audience engagement through data-driven insights. Though no formal awards are listed, his prolific publication record and industry collaborations underscore his significant influence in sports analytics. He advises on strategic business research and data analytics in sports management through university modules like 'Football Economics and Analytics.'
Dr. Suzanne R. Black is a Postdoctoral Research Associate at the University of Edinburgh, working within the CoSTAR Foresight Lab. Her research sits at the intersection of humanities inquiry and computational methods, focusing on digital literary culture, fanfiction, and creative industries data analysis. She holds a PhD from the University of Edinburgh where her doctoral work examined 21st-century digital literary networks. PhD in English Literature, University of Edinburgh Her research interests center on digital literary culture , fanfiction archives , and queer/feminist theories applied to contemporary reading practices. She pioneers computational approaches like topic modeling to analyze large-scale datasets from platforms such as Goodreads, investigating how readers construct literary value and negotiate canonicity in digital spaces. Her work reveals how fan communities dynamically define 'classics' through emotional engagement and collective discourse. Recent publications demonstrate a cohesive trajectory in cultural analytics and digital literary studies , blending computational techniques with critical theory to examine pandemic impacts on festivals, NFT ownership models, and DEI initiatives in creative sectors. A recurring theme is the tension between algorithmic systems and human-centered cultural production. Fellowship at the Institute for Advanced Studies in the Humanities Dr. Black has secured research funding through institutional fellowships supporting her Goodreads fanfiction analysis. While not formally advising graduate students, she actively shapes academic discourse through invited lectures at Newcastle University, the University of Edinburgh, and Porty Pride events. Her grant-funded projects often involve cross-disciplinary collaboration with data scientists and social researchers. As a core member of the CoSTAR Foresight Lab, she contributes to the Edinburgh Futures Institute's mission of data-driven creative industry innovation. Her work integrates digital humanities methodologies with cultural analytics to address structural biases in digital heritage preservation and fanfiction archiving.
