Find Academic Supervisors

Oscar Westlund serves as Professor at the Department of Journalism and Media Studies within the Faculty of Social Sciences at Oslo Metropolitan University (OsloMet), where he co-leads the OsloMet Digital Journalism Research Group. He maintains a secondary appointment at the University of Gothenburg and acts as Editor-in-Chief of Digital Journalism . His research spans digital journalism, fact-checking, platform dynamics, media management, news consumption, and mobile media. Westlund's scholarly focus centers on journalism safety in digital environments, sociotechnical dimensions of misinformation combat, and platform-induced challenges for news organizations. His work examines professional fragilities of journalists, epistemological foundations of data journalism, and legitimacy paradoxes in public service media-platform relationships. Current projects address disinformation countermeasures through the SCAM initiative (Source Criticism And Mediated Disinformation). Analysis of his 2022-2024 publications reveals dominant themes: journalism safety frameworks (33%), platform-journalism tensions (27%), and fact-checking as sociotechnical practice (23%). Key methodological approaches include cross-national comparative studies, epistemological analysis, and practice theory applied to digital news production. Westlund actively contributes to academic discourse through editorial leadership at Digital Journalism and special issue guest editing. His research group coordinates interdisciplinary collaboration on digital journalism studies, while the SCAM project develops practical methodologies for disinformation detection in democratic contexts. Recent work demonstrates increasing emphasis on mobile news ecosystems and journalist safety cultures. He co-leads the OsloMet Digital Journalism Research Group, which investigates platform impacts on news production, mobile journalism evolution, and epistemological shifts in data-driven reporting. The group maintains strong international partnerships, particularly with Swedish institutions through his University of Gothenburg affiliation.

• Digital Journalism
• Fact-checking
• Media Platforms
• +7 more

Dr. Oana Cocarascu is a Senior Lecturer in Artificial Intelligence at the Department of Informatics, Faculty of Natural, Mathematical & Engineering Sciences, King's College London. She holds a PhD and MEng in Computing (Artificial Intelligence) from Imperial College London and conducts applied research focusing on how artificial intelligence can be deployed to support real-world applications, with machine learning and natural language processing as core components of her work. Her research interests span argument mining, explainable AI, machine learning, natural language processing, and symbolic reasoning. She is particularly focused on developing AI systems that can provide transparent, accountable, and ethical decision-making processes. Her work addresses critical challenges in bias mitigation, fairness metrics, fact verification systems, and argumentation-based explanations for complex AI decisions. Analysis of her recent publications (2023-2025) reveals a strong focus on fairness in AI systems, with particular attention to individual fairness metrics and nuanced evaluation frameworks. She has made significant contributions to fact verification systems, especially in multimodal contexts involving charts and tabular data. Her work increasingly integrates argumentation theory with natural language processing to create explainable AI systems that can justify their decisions through structured reasoning. Dr. Cocarascu leads an EPSRC-funded project titled 'A framework for evaluating and explaining the robustness of NLP models' (2024-2027) and is actively involved in the Natural Language Processing Group at KCL. Her research fingerprint shows strong activity in argumentation (100%), decision-making (74%), artificial intelligence (50%), explainable AI (39%), and bias mitigation (35%). She has contributed to numerous high-impact publications in top venues including ACL, EMNLP, AAAI, and the Journal of Artificial Intelligence Research, with a particular focus on making AI systems more transparent, accountable, and aligned with human values. Her work intersects with UN Sustainable Development Goals, particularly those related to reducing inequality and building resilient infrastructure.

• Argument mining
• Explainable AI
• Machine learning
• +5 more

Amy Bruckman is a Regents’ Professor and Senior Associate Chair in the School of Interactive Computing at Georgia Institute of Technology. As a Fellow of The ACM and member of the SIGCHI Academy , she contributes to social computing research focusing on online collaboration, cross-cultural understanding, and content moderation. Her 2022 book "Should You Believe Wikipedia? Online Communities and the Construction of Knowledge" explores digital knowledge creation. Education: Ph.D. from MIT Media Lab (1997), B.A. in Physics from Harvard (1987) Research Affiliations: GVU Center, IRI People and Technology Her work addresses social computing challenges including: AI ethics in human-AI interaction Algorithmic bias in content moderation Epistemic justice in online communities Comparative platform analysis (Reddit, Discord, TikTok) Grassroots technology movements Recent publications examine: AI support tools for online counseling Community-driven research frameworks Racial bias mitigation in toxic language detection Designing teachable social media experiences Human trafficking intervention ethics Scientific recognition includes: ACM Fellowship SIGCHI Academy membership She has contributed to: Georgia Tech's Computing Education initiatives Research ethics frameworks for Human-Computer Interaction

• Social Computing
• Online Collaboration
• Content Moderation
• +3 more

Alexandra Boldyreva is a Professor at the Georgia Institute of Technology, holding joint appointments in the School of Cybersecurity and Privacy and the School of Computer Science. She serves as Associate Chair for Graduate Studies in the School of Cybersecurity and Privacy and coordinates the Information Security Master’s program in the College of Computing. Her affiliations include the Institute for Information Security & Privacy (IISP), the Algorithms, Combinatorics and Optimization (ACO) program, and the Algorithms and Randomness Center (ARC). She earned her Ph.D. in Computer Science from the University of California, San Diego, and holds bachelor’s and master’s degrees in applied mathematics from St. Petersburg State Technical University, Russia. Her research focuses on cryptography and information security, with notable contributions to encryption methods, authentication protocols, and privacy-preserving systems. Boldyreva’s work emphasizes provable security analysis of protocols like FIDO2 and TLS 1.3, as well as searchable encryption and data privacy techniques. Her recent studies include secure communication channel establishment, leakage quantification in encryption systems, and applications of fuzzy search in encrypted databases. She has received Test of Time Awards for foundational contributions to cryptography. Boldyreva leads initiatives in cybersecurity education and has secured grants for research in secure communication protocols and human-computing approaches to key exchange. Her interdisciplinary collaborations span computer science, mathematics, and privacy engineering.

• Cryptography
• Information Security
• Searchable Encryption
• +3 more

Professor Andrew Chadwick is a leading scholar in political communication and digital media studies at Loughborough University, where he directs the Online Civic Culture Centre (O3C). He holds a BSocSc from Birmingham, MSc and PhD from the London School of Economics. His research focuses on hybrid media systems, disinformation dynamics, and digital politics. Key contributions include conceptualizing hybrid media events and analyzing misinformation in personal messaging platforms. His work has been recognized with prestigious awards, including the APSA Best Book Award. He supervises numerous PhD students exploring topics like social media influence, public opinion, and digital disinformation. Current projects include the Leverhulme-funded Everyday Misinformation Project examining numerical disinformation on messaging apps. His media engagements span BBC Radio 4 to The Washington Post. Research highlights include studies on misinformation warnings' ineffectiveness, vaccine hesitancy, and the role of celebrities in political representation. O3C serves as a hub for interdisciplinary research on digital civic culture. Chadwick’s academic leadership includes roles in editorial boards for top journals and international conference keynotes.

• Political Communication
• Digital Media Studies
• Disinformation/Misinformation
• +5 more

Amir Ali Ahmadi is a Professor at Princeton University's Department of Operations Research and Financial Engineering (ORFE), with affiliations across multiple disciplines including PACM, Computer Science, Mechanical & Aerospace Engineering, Electrical Engineering, and the Center for Statistics and Machine Learning. He serves as Director of Princeton's Optimization and Quantitative Decision Science Certificate Program and has taken temporary roles at Citadel GQS (2021-2022) and Google Brain (2020-2021). His research bridges optimization theory , dynamical systems , and control theory , focusing on scalable algorithms for complex problems in robotics, autonomous systems, and machine learning. He has pioneered DSOS/SDSOS relaxations as alternatives to traditional sum-of-squares methods, enabling faster solutions through linear/second-order cone programming. Recent publications explore: Higher-order Newton methods for socially responsible investment Data-efficient learning of dynamical systems Computational complexity of local minima Robust-to-dynamics optimization frameworks Award highlights include: 2024 Egon Balas Prize in Optimization 2024 Princeton Engineering Council Teaching Award 2023 Distinguished Teaching Award (Princeton SEAS) 2019 NSF CAREER Award 2017 DARPA Young Faculty Award 2017 Sloan Fellowship in Computer Science He advises prominent researchers like Georgina Hall (Tucker Prize finalist) and Bachir El Khadir (Goldstine Fellow), and leads the Princeton Optimization Seminar and MURI project on Control-Oriented Learning on the Fly.

• Optimization Theory
• Control Theory
• Dynamical Systems
• +7 more

Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research focuses on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she held an NSF/CRA Computing Innovation Postdoctoral Fellowship at the University of Pennsylvania (2020-2022) and completed her PhD at Rice University (2016-2020). Education: PhD in Computer Science, Rice University (2016-2020) MS in Computer Science, Rice University (2014-2016) BSc (Honors) in Mathematics and Computer Science, Chennai Mathematical Institute (2011-2014) Research Interests: Formal methods, reinforcement learning, reactive synthesis, quantitative verification, and trustworthy AI systems. Her work bridges logic-based formal methods with modern AI challenges, emphasizing safety, reliability, and generalization in AI systems. Key Contributions: Pioneering work on specification-guided reinforcement learning, compositional synthesis algorithms, and formal verification of AI systems. Notable tools include Lisa (LTLf synthesis tool) and DiRL (compositional reinforcement learning framework). Awards: 2020 NSF CI Fellowship, 2021 MIT EECS Rising Star, 2023 ATVA Best Paper Award, and Keynote Speaker at SAS 2022. Advising & Grants: Advises PhD and Master’s students in reinforcement learning and formal methods. Lead PI on a collaboration grant with IIT Bombay (2024) and recipient of a ~$250K NSF/CRA postdoctoral grant. Labs/Teams: Leads the BansalLab at Georgia Tech, focusing on trustworthy AI through formal methods and algorithmic innovation.

• Formal Methods
• Artificial Intelligence
• Programming Languages
• +4 more

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.

• Probabilistic Verification
• Quantitative Model Checking
• Formal Methods
• +4 more

Prof. Anya Belz is Full Professor of Computer Science at Dublin City University's School of Computing and Science Lead at ADAPT Research Centre. A leading NLP researcher with PhD-level expertise, she specializes in natural language generation, evaluation methodologies, and multimodal systems. Recipient of multiple best paper awards and NAACL Test of Time Award nomination. Research innovations include foundational work on statistical language generation (deployed in weather forecasting systems), comparative evaluation frameworks, vision-language integration, and reproducibility quantification. Current EPSRC-funded ReproHum project coordinates 20 global labs studying evaluation consistency. Achievements : Developed industry-deployed generation systems for accessibility applications Pioneered cross-modal alignment techniques for image description Authored 100+ publications spanning generation, evaluation, and reproducibility

• Natural Language Processing
• Natural Language Generation
• Machine Learning
• +4 more

Prof. Dr. Halis Aydemir is a Professor at the Department of Basic Islamic Sciences in Dumlupınar University's Faculty of Theology. He holds concurrent administrative roles including Vice Rector (2015–2019), Dean of the Faculty of Islamic Sciences (2015–2020), and Head of the Hadith Department. His academic journey includes a BSc in Electrical Engineering (Istanbul Technical University, 1995) and a PhD in Basic Islamic Sciences (Uludağ University, 2004). His research focuses on applying probability theory to Hadith transmission systems, developing mathematical models for inheritance calculations in Islamic law, and Arabic language education. Notable projects include the 'Al-Musnad al-Sahih' manuscript verification (2002–2012) and multiple inheritance calculation software projects. He has authored over 80 publications including critical editions of Hadith collections and theoretical works on Hadith reliability. Awards: No scientific awards explicitly mentioned. Administrative roles include leadership in religious affairs projects and educational software initiatives. Research highlights include probabilistic analysis of narrator reliability, isnad model evaluation, and digital tools for Islamic legal calculations. His work bridges traditional Islamic scholarship with modern quantitative methods.

• Hadith Studies
• Islamic Jurisprudence (Inheritance Calculation)
• Probability Theory in Hadith Transmission
• +3 more

Manex Aguirrezabal Zabaleta is an Associate Professor in the Department of Nordic Studies and Linguistics at the University of Copenhagen. He previously held positions as a Postdoc (2017-2019) and Assistant Professor at the same institution. His educational background includes: PhD in Natural Language Processing from the University of the Basque Country (UPV/EHU), conducted at the IXA NLP group. Master's degree in Natural Language Processing from UPV/EHU. Bachelor's degree in Computer Science (5 years) from UPV/EHU. Dr. Aguirrezabal's research focuses on the computational analysis of poetry , particularly stress patterns in English. He explores whether computers can effectively analyze poetic structures, a field with roots in the 1980s but revitalized by modern techniques. Additionally, he investigates language generation , computational morphology and phonology , and finite-state methods . His work bridges traditional linguistic inquiry with cutting-edge natural language processing. Recent publications (2023-2024) demonstrate a diverse engagement with computational linguistics, including poetry generation, multimodal corpus development, clickbait analysis, and fact-checking. His research often employs zero-shot learning and language models, reflecting current trends in AI-driven linguistic analysis. He has contributed to international collaborations such as ParlaMint (multilingual parliamentary corpora) and the GEHM Zoom corpus. While specific grant details are not provided, his active publication record indicates ongoing research support. Dr. Aguirrezabal maintains a strong connection to his Basque heritage, having pursued his early education in the Basque language.

• Natural Language Processing
• Computational Linguistics
• Poetry Analysis
• +4 more

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.

• Programming Language Theory
• Semantics of Programming Languages
• Domain Theory
• +7 more

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.

• Algorithmic Game Theory
• Concurrent Systems
• Formal Verification
• +3 more

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.

• Artificial Intelligence
• Computer Security
• Multi-Agent Systems
• +3 more

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

• Automated verification
• Probabilistic model checking
• Temporal logics
• +3 more