جستجوی استاد راهنمای دانشگاهی

Andreas Vlachos is a Professor of Natural Language Processing and Machine Learning at the Department of Computer Science and Technology, University of Cambridge, and holds the Dinesh Dhamija Fellowship at Fitzwilliam College. His research spans dialogue modeling, automated fact-checking, imitation learning, semantic parsing, biomedical text mining, and trustworthiness in AI systems. PhD in Computer Science, University of Cambridge (supervised by Ted Briscoe and Zoubin Ghahramani) Lecturer at University of Sheffield Postdoctoral roles at UCL, University of Cambridge (NLIP group, Stephen Clark), and University of Wisconsin-Madison (Mark Craven) Current research focuses on evaluating and mitigating biases in language models, advancing fact-checking methodologies, and improving model robustness through interpolation, reinforcement learning, and causal reasoning. His work integrates natural logic, knowledge graphs, and multimodal evidence for verification tasks. Recent publications address uncertainty quantification, temporal planning benchmarks, and ethical framing of NLP artifacts. Grants from ERC, EPSRC, Facebook, Google, and the Alan Turing Institute fund his research team. Collaborations include Sebastian Riedel, Stephen Clark, and Mark Craven. Key projects explore disinformation detection, long-form generation, and confidence calibration in AI systems.

• Natural Language Processing
• Machine Learning
• Dialogue Modelling
• +۱۰ مورد دیگر

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
• +۵ مورد دیگر

Sebastian Riedel is a Professor at University College London (UCL) and a Researcher at DeepMind, leading the UCL NLP Lab. His work focuses on teaching machines to read, reason, and write, integrating Natural Language Processing (NLP) with Machine Learning. He holds an Allen Distinguished Investigator award and has held roles at FAIR, UMass Amherst, Tokyo University, and the University of Edinburgh. Education: PhD in Computer Science from the University of Edinburgh (advisor: Ewan Klein), postdoctoral research at UMass Amherst (advisor: Andrew McCallum), and research at Tokyo University (advisor: Tsujii Junichi). Research Interests: NLP, machine learning, information extraction, and multimodal models like Gemini. He develops tools such as UCLEED (BioNLP event extractor), frontlets (Scala map wrappers), and thebibbrag (BibTeX to HTML converter). Awards: Allen Distinguished Investigator. Software contributions include GitHub repositories for NLP, machine learning, and data tools. Contact: s.riedel@ucl.ac.uk | Office: 1st Floor, 90 High Holborn, London WC1V 6LJ | Office Hours: Mondays 11 AM–12 PM.

• Natural Language Processing (NLP)
• Machine Learning
• Artificial Intelligence
• +۳ مورد دیگر

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
• +۴ مورد دیگر

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
• +۳ مورد دیگر

Dr. Heidi Ashton is an Associate Professor in Cultural and Creative Ecologies at the University of Warwick's Centre for Cultural and Media Policy Studies (CCMPS). She holds a concurrent role as a global research fellow at the Creative Industries Policy and Evidence Centre (PEC). Her work bridges academic research with practical insights from over 25 years of experience as a freelance dancer, choreographer, and producer across global creative sectors. Key affiliations include Director of Education for SCAPVC and external PhD evaluator at Bahria University, Pakistan. Research interests focus on freelance workers' rights within creative industries, social security access, and policy impacts on arts education and cultural participation. Notable projects include collaborations with Equity Union on social security challenges and with Prof. Prue Huddleston on arts education policy. Her work has influenced UK policy debates, including House of Lords citations and Guardian features. Teaching responsibilities span undergraduate and postgraduate levels, including modules on creative industry workplaces and policy analysis. Current PhD supervision explores cultural policy-labour dynamics and digital platforms' role in creative work. Recent projects include the 'Urban Village' community arts initiative in Coventry and pandemic impact studies on cultural sectors. Publications address freelance worker vulnerabilities, comparative cultural policies (e.g., UK vs USA), and educational apartheid critiques. Her 2024 co-authored 'State of the Arts' report provides a UK-wide cultural sector health check, presented to DCMS officials and arts leaders.

• Creative Industries Policy
• Freelance Workers' Rights
• Social Security Access
• +۳ مورد دیگر

Andrew Rice is a Professor of Computer Science at the University of Cambridge's Department of Computer Science and Technology, and holds the Hassabis Fellowship in Computer Science. He is also the Director of Studies in Computer Science at Queens' College. His research focuses on programming languages, software engineering, and machine learning applications in software development. He leads projects like Isaac Computer Science and ALTA (Automated Language Teaching and Assessment), advancing adaptive learning technologies. His work includes static analysis tools such as Error Prone at Google, energy efficiency studies in computing infrastructure, and contributions to the Computing for the Future of the Planet initiative. His teaching emphasizes practical skill development through flipped classrooms and video lectures, earning him the 2014 Pilkington Prize for teaching excellence. He has held visiting roles at Google and collaborated on energy consumption research for mobile devices and data centers. His research spans systems, networking, and natural language processing, with a strong focus on applying computational methods to real-world challenges. Key Projects: Isaac Physics/Computer Science, ALTA, Error Prone Static Analysis Research Themes: Programming Languages, Machine Learning, Energy Efficiency Awards: Pilkington Prize (2014)

• Programming Languages
• Machine Learning
• Artificial Intelligence
• +۴ مورد دیگر

Professor Eric Atwell is a Professor of Artificial Intelligence for Language at the University of Leeds' School of Computer Science, part of the Faculty of Engineering and Physical Sciences. He holds additional roles as a LITE Fellow at the Leeds Institute for Teaching Excellence (40% part-time), Turing Fellow at the Alan Turing Institute, and member of the Leeds Institute for Data Analytics (LIDA) and Language at Leeds (LATL). His research focuses on AI applications in corpus linguistics, text analytics, and computational analysis of religious and medical texts, with a strong emphasis on Arabic and Islamic studies. He leads the AI4L research group and has supervised over 60 research students and fellows, many of whom have pursued careers in academia, tech, and AI-driven fields. Education: PhD in Corpus Linguistics and Language Learning (University of Leeds, 2008), BA (First Class) in Computing and Linguistics (Lancaster University, 1981) Grants: Includes EPSRC-funded projects like Natural Language Processing with Arabic and Islamic Studies (£337K, 2013-2015) and EDUBOTS chatbots for education (£94K, 2019-2022) Teaching: Leads modules in Data Mining, Text Analytics, and AI across multiple programs, including online Masters and PhDs. Known for innovative teaching approaches and student support, receiving positive feedback for engagement and course design. Research Interests: AI applied to corpus linguistics, Quranic text analysis, Arabic NLP, chatbots for education, and decolonizing curricula. Notable projects include Quranic semantic search tools, Hadith corpus analysis, and AI-driven fact-checking systems. Publications: Over 277 publications, with recent work focusing on Quranic QA systems, Arabic dialect identification, and generative AI applications in education. His research is widely cited, earning recognition from ResearchGate for high readership. Awards: Recognized for his most-read research items on ResearchGate (June 2021). Gallup StrengthsFinder highlights his top traits as Learner, Achiever, Ideation, Intellection, and Maximizer. Labs/Teams: Leads the AI4L research group and collaborates with international institutions including SUSTECH Sudan, King Saud University, and SWJT University (China). Active in research networks like LIDA and LATL.

• Artificial Intelligence
• Natural Language Processing
• Machine Learning
• +۸ مورد دیگر

Ashley M R Montanaro is a Professor of Quantum Computation at the School of Mathematics, University of Bristol . Active in quantum computing research since at least 2014, they lead projects at the intersection of quantum algorithms , computational complexity , and quantum information theory , affiliated with the Bristol Quantum Information Institute. Research interests focus on quantum algorithm design , computational complexity analysis , and quantum simulation . Key work includes developing variational quantum algorithms for phase transition detection, Hamiltonian simulation techniques, and quantum-classical hybrid methods for solving complex problems in physics and optimization. Recent publications demonstrate expertise in: Quantum phase diagram simulation with low-depth circuits Quantum speedups for constraint satisfaction problems Quantum communication complexity of machine learning tasks Quantum-enhanced optimization heuristics Hamiltonian simulation with time-dependent product formulas Quantum algorithm complexity analysis Scientific awards include: EPSRC Fellowship (2014-2019) - "New insights in quantum algorithms and complexity" Active in quantum software development through projects like: "Quantum Algorithms from Foundations to Applications" (ERC-2018-COG) "Quantum Computing and Simulation Hub" (2019-2024) "Prosperity Partnership in Quantum Software" (2019-2023)

• Quantum Computation
• Quantum Algorithms
• Computational Complexity
• +۳ مورد دیگر

Michael Goldsmith is a Senior Research Fellow at the Department of Computer Science and Worcester College, University of Oxford. He holds multiple leadership positions including Director of the Oxford Martin Programme on AI Threat Detection, Associate Director of the Cyber Security Centre, and Co-Director of the Centre for Doctoral Training in Cybersecurity. His research bridges formal methods, concurrency theory, and practical cybersecurity applications. Goldsmith's research focuses on cybersecurity analytics including threat detection, risk management, and trust frameworks. He pioneered automated cryptoprotocol analysis and investigates multidisciplinary projects spanning mathematical models to socio-technical systems. His core interests include formal verification, AI threat landscapes, privacy architectures, and security protocol design. Analysis of his recent publications reveals strong emphasis on practical cybersecurity challenges: 63% focus on threat detection (especially insider threats), 22% on trust/risk frameworks, and 15% on formal methods applications. His work consistently integrates technical security mechanisms with human factors and organizational contexts. He currently advises Ahmed Salman and has supervised 10+ students including Mary Bispham, Rodrigo Carvalho, and Elizabeth Phillips. His research teams collaborate on projects funded by Technology Strategy Board, government agencies, and industry partners. Goldsmith leads the Oxford Martin Programme on AI Threat Detection and co-directs the Centre for Doctoral Training in Cybersecurity. His research group develops tools for security visualization (CyberVis), trust metrics, and identity management frameworks.

• Cybersecurity
• Formal Methods
• Concurrency Theory
• +۳ مورد دیگر

Jim Smith is a Professor in Interactive Artificial Intelligence at the University of the West of England (UWE), Bristol, affiliated with the School of Computing and Creative Technologies and the Department of Computer Science and Creative Technologies. He serves as Director of the Computer Science Research Centre and leads the AI@UWE theme. His research is supported by UKRI, Innovate UK, and partnerships with organizations including Health Data Research UK, Office for National Statistics, NHS Scotland, and DSTL. University: University of the West of England School: School of Computing and Creative Technologies Department: Department of Computer Science and Creative Technologies Role: Professor in Interactive Artificial Intelligence Leadership: Director, Computer Science Research Centre Research Interests : Jim Smith's work focuses on Interactive Artificial Intelligence, particularly at the intersection of AI and privacy preservation when using sensitive data for public good. His research includes statistical disclosure control, privacy leakage from AI models, evolutionary computation, machine learning, and systems that learn through human interaction or self-adaptation. He explores how AI can automate privacy checks in research outputs and assess vulnerabilities in trained models. Recent Publications : His recent work spans AI privacy in trusted research environments (e.g., SACRO, SDC-Reboot), dialogue act classification, human-robot interaction, and visualization of deep learning models. Themes include privacy-preserving AI, automated disclosure control, interactive machine learning, and neuromorphic computing. Machine Learning & Privacy Evolutionary Computation Interactive AI Systems Human-Computer Interaction Statistical Disclosure Control Federated Learning Security Scientific Awards : No specific awards are mentioned in the provided texts. Advising and Grants : He currently supervises PhD students on topics including spatio-temporal air quality modeling, federated learning privacy, and threat detection in mobile networks. He leads Innovate UK and UKRI-funded projects such as SACRO and SDC-Reboot, focusing on AI-driven solutions for data confidentiality in public sector research. Interactive Machine Learning for Claim Settlement (Innovate UK) SDC-Reboot (DARE UK/Health Data Research UK) Threat Identification in Mobile Networks (Ribbon Communications) Labs and Teams : He leads the AI@UWE initiative and the Computer Science Research Centre at UWE. His work involves collaboration through DARE UK and open-source development via the AI-SDC GitHub organization, which hosts tools from SACRO and GRAIMATTER projects.

• Interactive Artificial Intelligence
• Statistical Disclosure Control
• Privacy Leakage from AI Models
• +۷ مورد دیگر

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.

• Algorithms
• Game Theory
• Automata Theory
• +۷ مورد دیگر

Rafael Grohmann is an Assistant Professor of Media Studies at the Department of Arts, Culture and Media , University of Toronto. He is also affiliated with Universidade do Vale do Rio dos Sinos (Unisinos University) , Brazil, as an Assistant Professor in Communication. Grohmann serves as Principal Investigator for the Fairwork project in Brazil , Coordinator of DigiLabour Research Lab , and editor of DigiLabour newsletter . His work bridges Latin American digital labor studies, AI's societal impacts, and platform cooperativism. Education: Ph.D. in Communication, University of São Paulo (2016) M.Sc. in Communication, University of São Paulo (2012) BA in Social Sciences, Federal University of Juiz de Fora (2009) Research interests include platform labor , AI and work , datafication , and worker-owned platforms , with a focus on Global South and gender perspectives . His recent work analyzes Brazilian women's hidden labor on AI platforms and labor migration in the gaming industry. Scientific awards include grants from SSHRC , CNPq , FAPESP , and COST Action . Grohmann is an editorial board member of Big Data & Society , Work, Employment and Society , and co-founder of the Platforms & Society journal. He is actively involved in public engagement, including podcasts like Tech Won't Save Us and op-eds on data sovereignty. Projects: Creative Labour and Critical Futures (CLCF) : Studies ethical approaches to AI in creative sectors. Worker-Owned Intersectional Platforms (WOIP) : Explores worker-owned tech solutions in Brazil and Argentina.

• Digital Labour
• Platform Cooperativism
• Artificial Intelligence (AI) and Work
• +۹ مورد دیگر

Dr. Zhibao Mian is a Lecturer in the School of Computer Science at the University of Hull, UK, and previously held an Associate Professor position at Northwest Normal University. He specializes in trustworthy AI, machine learning, and intelligent maintenance systems. His research integrates AI with IoT, blockchain, and digital twins in Industry 4.0/5.0 contexts. He leads projects on predictive maintenance for offshore wind turbines and AI-driven sustainable energy solutions. Dr. Mian holds a PhD from the University of Hull and an MSc from the University of Nottingham. Research interests include AI ethics, model-based safety analysis, and RCM. He has secured grants such as the CPHC-funded study on AI in software education and oversees multiple PhD scholarships. Notable roles include Editorial Board member of the American Journal of Artificial Intelligence and Reviewer for high-impact journals/conferences like JSS and IEEE. He is a Senior Fellow of the Higher Education Academy and received the Royal Academy of Engineering's 2024 Exceptional Talent designation. Recent publications (2023-2025) focus on ordinal networks, outlier detection, Belt and Road trade analysis, and carbon emissions modeling. He actively advises PhD students on topics like UAV-based anomaly detection and predictive maintenance frameworks.

• Trustworthy AI
• Machine Learning
• Large Language Models
• +۸ مورد دیگر

Dr. Reuben Binns is an Associate Professor of Human Centred Computing at the University of Oxford , where he investigates intersections between computer science, law, and philosophy. His research focuses on data protection , machine learning ethics , and regulation of technology .

• Data Protection
• Machine Learning
• AI Ethics
• +۵ مورد دیگر