Daniel M. Roy is a Full Professor at the University of Toronto, with cross-appointments in the Department of Computer Science, Department of Statistical Sciences, and Department of Electrical and Computer Engineering. He serves as Research Director at the Vector Institute and holds the CIFAR Canada AI Chair. Research Focus: Foundational principles of prediction, inference, and decision-making under uncertainty across machine learning, statistics, mathematical logic, applied probability, and computer science. Scientific Contributions: Key work in learning theory, statistical network analysis, probabilistic programming, and information-theoretic frameworks for generalization. Awards: ICML 2024 Best Paper Award for "Information Complexity of Stochastic Convex Optimization" and promotion to Full Professor in 2024. Student Advising: Actively mentors Ph.D. candidates and postdoctoral researchers with strong quantitative backgrounds, particularly at the intersection of machine learning, statistics, and computer science. Email: daniel.roy@utoronto.ca
Noah D. Goodman is Associate Professor of Psychology and Computer Science, and Linguistics (by courtesy) at Stanford University. He directs the Computation & Cognition Lab (CoCoLab) at Stanford, where he leads research on computational models of cognition, integrating logic and probability. His work spans cognitive psychology, linguistics, and computer science. Primary Appointment: Psychology Department By Courtesy: Computer Science Department and Linguistics Department Director: Computation & Cognition Lab (CoCoLab) Goodman's research focuses on computational models of cognition, with particular interest in probabilistic approaches to understanding human thought. His work integrates logic and probability to model concepts, categorization, intuitive theories, causal learning and reasoning, social cognition (including reasoning about others' goals, beliefs, and actions), cognitive development (especially acquisition of abstract knowledge), and natural language semantics and pragmatics. He has made significant contributions to the development of probabilistic programming languages as tools for cognitive modeling. His recent publications demonstrate a strong trend toward integrating probabilistic modeling with linguistic theory and social cognition. The articles span computational cognitive science, natural language processing, and artificial intelligence, with a consistent theme of using probabilistic frameworks to understand complex cognitive phenomena. Many papers explore how humans make inferences under uncertainty across different domains. Goodman teaches several courses at Stanford including Language and Thought (Psych 132), Computation and Cognition: the Probabilistic Approach (Psych 204/CS 428), Foundations of Cognition (Psych 205), and Introduction to Cognitive Science. He has also led seminars on topics ranging from natural and artificial intelligence to the science of meditation.
Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.
Freda Shi is an Assistant Professor at the David R. Cheriton School of Computer Science at the University of Waterloo and a Faculty Member at the Vector Institute, where she holds a Canada CIFAR AI Chair. She joined the University of Waterloo in July 2024 after completing her Ph.D. at the Toyota Technological Institute at Chicago. Educational Background: Ph.D. in Computer Science, Toyota Technological Institute at Chicago (2024), advised by Professors Karen Livescu and Kevin Gimpel Bachelor's degree in Intelligence Science and Technology (Computer Science Track) with a minor in Sociology, Peking University (2018) Dr. Shi's research focuses on computational linguistics and natural language processing, particularly on deeper understandings of natural language and the human language processing mechanism. She is especially interested in learning language through grounding, computational multilingualism, and related machine learning aspects. Her work aims to inform the design of more efficient, effective, safe, and trustworthy NLP systems. She leads the CompLING Lab at the University of Waterloo, which investigates how language models process spatial relationships and acquire linguistic structures through grounded experiences. Her publication record shows a consistent trajectory of high-impact research, with recent work focusing on spatial reasoning in vision-language models, multilingual chain-of-thought capabilities, and grounded language acquisition. She has published in top-tier conferences including ACL, EMNLP, ICLR, and NAACL, with several papers receiving notable recognition including Best Paper Nominee status at multiple venues. Her research bridges theoretical linguistics with practical NLP applications, demonstrating how linguistic insights can improve AI systems. Scientific Recognition: Canada CIFAR AI Chair (2024) Google Ph.D. Fellowship Thesis of Distinction for her doctoral work Multiple Best Paper Nominee awards at major NLP conferences Dr. Shi teaches CS 784: Computational Linguistics and CS 486/686: Introduction to Artificial Intelligence at the University of Waterloo. She actively contributes to the NLP research community through conference participation, program committee service, and collaborative projects. Her research has significant implications for creating more robust, human-like language understanding systems and advancing the field of grounded language learning in artificial intelligence.
Peter A. Flach is Professor of Artificial Intelligence at the Intelligent Systems Laboratory, School of Computer Science, University of Bristol, where he has been faculty since 1997 and was promoted to Professor in 2003. He currently directs the UKRI AI Centre for Doctoral Training in Practice-Oriented Artificial Intelligence and serves as Vice-President of the European Association for Data Science (EuADS), having previously served as its President. His research centers on rigorous evaluation and improvement of machine learning systems, with seminal contributions to classifier calibration (including Beta Calibration and Precision-Recall-Gain curves), explainable AI frameworks, and data science methodology. He pioneered the extension of CRISP-DM to data science trajectories and developed Explainability Fact Sheets for systematic assessment of XAI approaches. His work bridges theoretical foundations with practical deployment in real-world systems. Analysis of his recent publications reveals a dominant focus on interpretable and reliable machine learning, with strong emphasis on performance evaluation metrics, model calibration techniques, and human-centered explainability. His research increasingly addresses healthcare applications through projects like SPHERE and clinical decision support systems, while maintaining core contributions to fundamental ML theory. His scientific recognition includes prestigious fellowships: Fellow of the European Lab for Learning and Intelligent Systems (ELLIS) Fellow of the European Association for Artificial Intelligence (EurAI) Professor Flach has secured major research funding including UKRI Centre for Doctoral Training grants and EU network funding (TAILOR). He leads extensive collaborations across Engineering, Population Health Science, and international institutions (Monash University, Polytechnic University of Valencia), plus over 20 industry partners in the Practice-Oriented AI CDT including LV= and QinetiQ. His work with the SPHERE project demonstrates successful translation of AI research into residential healthcare settings. He leads the Intelligent Systems Laboratory at Bristol, which develops influential open-source tools including the FAT Forensics Python toolbox for algorithmic fairness and the Explainability Fact Sheets framework. His lab maintains strong connections with the European AI community through ELLIS and EurAI, positioning Bristol as a hub for human-centered and methodologically rigorous AI research.
John MacFarlane is a Professor of Philosophy at the University of California, Berkeley , with affiliations to the Group in Logic and the Methodology of Science and co-organizer roles in the Meaning Sciences Club and Townsend Center Working Group . His research spans philosophy of language, philosophical logic, metaphysics, epistemology, philosophy of mathematics, history of logic , and ancient philosophy , particularly Aristotle . He has held visiting positions at institutions like École des Hautes Études en Sciences Sociales (EHESS), Paris . Education : Ph.D. in Philosophy (2000, University of Pittsburgh), M.A. in Classics (1997) and Philosophy (1994), A.B. summa cum laude in Philosophy (1991, Harvard). Research Interests focus on semantic relativism , particularly assessment sensitivity as explored in his book Assessment Sensitivity: Relative Truth and Its Applications (Oxford, 2014). He investigates how epistemic modals and vagueness interact with truth evaluation. His work in philosophical logic includes a textbook Philosophical Logic: A Contemporary Introduction (Routledge, 2021). Secondary interests include ancient philosophy (Aristotle, Plato), formal logic , and fiddlosophy . Article Trends reveal contributions to relativism , epistemic modals , vagueness , and logicism . His recent work (2025) examines Plato’s Protagoras and belief utility , while 2022–2020 articles address semantic indecision and probabilistic knowledge . Earlier works (2008–2000) include foundational studies on Frege, Kant, and Aristotle . Scientific Awards include a 2023 Residential Fellowship at Wissenschaftskolleg, Berlin (declined), 2016–17 Fellow at IEA Paris , and 2015 American Academy of Arts and Sciences membership . He has received multiple Humanities Research Fellowships at Berkeley (2016, 2008, 2003) and Research Enabling Grants (2000–2009). Advising includes supervising 15+ PhD students in areas like logic, epistemology, and philosophy of language . Notable advisees include Richard Lawrence (2017) and Sophie Dandelet (2021). He also guided honors theses at Berkeley, such as Benjamin Logan’s work on epistemic modals (2018). Labs and Teams involve co-organizing the Townsend Center Working Group in History and Philosophy of Logic, Mathematics, and Science and contributing to the Group in Logic and Methodology of Science . His interdisciplinary approach integrates philosophy, logic, and computational tools , including creating Pandoc for document conversion.
Ignacio Ojea Quintana serves as Assistant Professor at Ludwig Maximilian University of Munich's Faculty of Philosophy, Philosophy of Science and Religious Studies within the Chair of Philosophy of Science. He joined LMU in 2022 after a three-year research fellowship at the Australian National University's School of Philosophy. His academic foundation includes a PhD in Philosophy from Columbia University (2019), supervised by Philip Kitcher with focus on formal social epistemology, and prior Masters/BA degrees in Philosophical Logic from the University of Buenos Aires where he collaborated with the Buenos Aires Logic Group. Ojea Quintana's research employs formal methodologies to examine digital technologies' impact on knowledge organization across scientific and public spheres. His work intersects Social Epistemology , Philosophy of Data Science , and Autonomous Systems Ethics , with significant contributions to social media network analysis of controversial movements. Current projects analyze Twitter dynamics in racial justice movements, ethical constraints in AI decision systems, and consensus formation in scientific modeling. His 2021-2022 publications reveal an interdisciplinary trajectory bridging philosophy, computer science, and social sciences. Key trends include computational analysis of online discourse, formal modeling of group rationality under uncertainty, and ethical frameworks for AI systems. Works appear in high-impact venues including Nature Humanities and Social Sciences Communications and the AAAI/ACM Conference on AI, Ethics, and Society. Ojea Quintana maintains active collaborations with the "Humanising Machine Intelligence" initiative (formerly at ANU) and the Buenos Aires Logic Group. His research program demonstrates sustained engagement with technology's societal implications through formal modeling approaches and empirical digital trace analysis.
William Yang Wang serves as the Mellichamp Professor of Artificial Intelligence at the University of California, Santa Barbara (2019-present). He directs the UCSB Center for Responsible Machine Learning, the Mind and Machine Intelligence Initiative, and the UCSB NLP Group. His research focuses on theoretical foundations and practical algorithms for AI, particularly in NLP, LLMs, and neuro-symbolic reasoning. PhD in Computer Science from Carnegie Mellon University Active in AI theory and applications (2016-present) Research interests span multiple AI domains, with special emphasis on NLP and responsible machine learning. He has pioneered datasets like HybridQA, TabFact, and VaTeX, enabling advancements in multi-hop QA, fact verification, and video-language tasks. His work combines statistical relational learning with modern deep learning paradigms. Recent publications center around multimodal reasoning, knowledge graph integration, and responsible AI development. He has received numerous accolades including the IEEE SPS Pierre-Simon Laplace Award (2024) and NSF CAREER Award (2021). Karen Sparck Jones Award (2022) DARPA Young Faculty Award (2018) IBM Faculty Award Mentoring 15+ PhD and postdoc researchers who now hold positions at Microsoft Research, Amazon, Meta GenAI, and academic institutions like Arizona and Rutgers. His lab maintains active collaborations with industry partners through initiatives like ChipAgents.ai, which he founded as CEO.
Raquel Fernández is Full Professor of Computational Linguistics and Dialogue Systems at the University of Amsterdam, where she leads the Dialogue Modelling Group at the Institute for Logic, Language & Computation (ILLC). As Vice-Director for Research at ILLC and a Fellow of the ELLIS Society, she bridges computational linguistics, cognitive science, and artificial intelligence through her research on language use in multimodal and conversational contexts. PhD in Computational Linguistics from King's College London Prior research positions at University of Potsdam and Stanford University's CSLI Her work explores how cognitive constraints, social interaction, and perception shape language use, with a focus on: Visually-grounded language processing Multimodal dialogue modeling Model uncertainty and calibration Language grounding in multimodal data Language learning and semantic change Dialogue reference resolution Recent publications analyze multimodal reasoning limitations, cross-lingual knowledge consistency, and uncertainty modeling in dialogue systems. She has received multiple accolades including an ERC Consolidator Grant , NWO VENI/VIDI/Aspasia fellowships , and EMNLP/GenBench awards . Outstanding Paper Award (EMNLP 2023) Best Data Award (GenBench Workshop 2023) ELLIS Society Fellow ERC Consolidator Grant #819455 recipient NWO VENI/VIDI/Aspasia awardee As a leader in academic service, she serves on the SIGDAT Executive Committee and chairs multiple conference committees. Her lab develops models for multimodal dialogue, visual storytelling, and grounded language understanding.
Leslie Ann Goldberg is a Senior Research Fellow at St Edmund Hall and Professor of Computer Science at the University of Oxford. She currently serves as Head of the Department of Computer Science (on sabbatical 2025-26) and focuses on foundational problems in Algorithms and Complexity Theory , particularly randomised algorithms for network communication, machine learning, and statistical physics models. Her research includes solving Aldous' 1987 conjecture on backoff protocol instability (with John Lapinskas), developing rigorous mathematical analysis frameworks for algorithmic efficiency, and advancing approximate counting techniques via Markov Chain Monte Carlo methods (with Andreas Galanis and collaborators). Key projects involve graph homomorphisms , Moran process dynamics , and #BIS complexity class analysis. Recent publications (2023-2024) span topics like Sybil defense mechanisms, low-temperature sampling on random graphs, and parameterised subgraph counting modulo 2. Her work demonstrates cross-disciplinary impact in computational biology, statistical physics, and database theory. Scientific Awards include Best Paper Prizes at ICALP 2016, ICALP 2010, and IPEC 2017. She supervises PhD student Paulina Smolarova and collaborates extensively with researchers in Oxford and beyond.
Professor Nick Chater is a leading figure in the field of Behavioural Science, affiliated with the University of Warwick at Warwick Business School since 2010. He has held previous chairs in psychology at Warwick and UCL. His research spans cognitive and social foundations of rationality, with applications to business and public policy, and he has authored over 200 papers and six books. He is a fellow of the British Academy, Cognitive Science Society, and Association for Psychological Science. His research interests include cognitive science, behavioral economics, decision making, and computational psychology, with a focus on reasoning, language, and mathematical modeling of mental processes. He has been recognized with prestigious awards such as the Spearman Medal, Experimental Psychology Society Prize, and the David E Rumelhart Prize for lifetime achievement in cognitive science. His work extends to practical applications through co-founding Decision Technology and advising the UK government's Climate Change Committee and the Behavioural Insight Team. Recent publications highlight his interdisciplinary approach, bridging economics, cognitive science, computational modeling, and behavioral public policy. Topics include thermal macroeconomic theory, Bayesian sampling, paradoxes in cognition, and language emergence via social interaction. These works emphasize probability judgments, moral cognition, and computational limitations in human inference. British Psychological Society's Spearman Medal (1996) Experimental Psychology Society Prize (1997) David E Rumelhart Prize (2023) PROSE Award (2019) Chater's academic contributions include collaborations with researchers like Adam N. Sanborn, Hossam Zeitoun, and Morten H. Christiansen, focusing on Bayesian inference, behavioral public policy, and cognitive modeling. He has also been a resident scientist on BBC Radio 4's The Human Zoo.
Frederick Eberhardt is a Professor of Philosophy at the California Institute of Technology (Caltech) since 2013. He holds a B.S. from the London School of Economics (2002), an M.S. from Carnegie Mellon University (2005), and a Ph.D. from Carnegie Mellon (2007). His research focuses on the intersection of philosophy of science, machine learning, and cognitive science, emphasizing causal discovery from data, experimental methods in causality, and foundational issues in probability and causality. He also explores computational models in psychology and historical work on Hans Reichenbach's philosophy. Recent publications span topics like causal emergence, Reichenbachian probability coordination, and causal mapping in neuroscience. His work bridges formal philosophy with empirical applications in cognitive science and computational methods. Education: B.S., London School of Economics, 2002 M.S., Carnegie Mellon University, 2005 Ph.D., Carnegie Mellon University, 2007 Research interests include formal philosophy of science, causal inference techniques, machine learning applications to causal discovery, and the philosophical underpinnings of probability. His work on causal abstraction and computational models in cognitive science highlights interdisciplinary approaches to understanding causal mechanisms. Recent publications emphasize integrating experimental and observational data for causal discovery, with applications in neuroscience and psychology. Publications reflect a focus on advancing causal reasoning methods, from theoretical frameworks to empirical validation. No scientific awards are explicitly listed in the provided text. Advising and grants details are not available here. Eberhardt is affiliated with Caltech’s Philosophy Department and contributes to theoretical and applied research in causality and its implications across disciplines.
Rui Soares Barbosa is a Staff Researcher at the Quantum and Linear-Optical Computation group at the International Iberian Nanotechnology Laboratory (INL). He holds a BSc in Computer Science from Universidade do Minho (2009), an MSc in Mathematics and Foundations of Computer Science from the University of Oxford (2010), and a DPhil in Computer Science from Oxford (2015) with a thesis on Contextuality in quantum mechanics and beyond. Prior to joining INL, he held post-doctoral positions at Oxford (2015–2019) and the University of Edinburgh (2019–2020), and a Research Fellowship at the Simons Institute for the Theory of Computing, UC Berkeley (2017). Barbosa's research lies at the intersection of Computer Science, Physics, and Mathematics, focusing on quantum foundations, quantum computer science, and the mathematics of quantum theory. His work emphasizes logical, structural, and compositional aspects, particularly investigating non-locality and contextuality - phenomena that distinguish quantum theory from classical physics and have been linked to quantum informatic advantage. He employs mathematical tools from category theory, logic, probability, algebraic topology, and operator algebras to achieve a structural understanding of quantum systems' non-classical features. His recent publications demonstrate a strong focus on contextuality as a quantum resource, exploring its connections to causality, computational advantage, and logical structures. The research spans theoretical foundations to practical quantum computing applications, with particular attention to mathematical frameworks like sheaf theory that elegantly express quantum contextuality. His work often involves collaborations with leading researchers in quantum foundations and theoretical computer science. Barbosa actively advises multiple PhD and MSc students including Angelos Bampounis, Rafael Wagner, Nico Witrock, and others. His research group at INL, the Quantum and Linear-Optical Computation group, conducts cutting-edge research at the intersection of quantum theory and computer science, regularly presenting findings at major conferences like the International Conference on Quantum Physics and Logic (QPL).
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.
Gizem Kayişoğlu is an Assistant Professor in the Department of Maritime Transportation and Management Engineering at Istanbul Technical University. Her research focuses on cybersecurity challenges in maritime systems, human error probability, and risk assessment methodologies. She actively explores vulnerabilities in shipboard systems such as ECDIS, VDR, and radar while emphasizing regulatory compliance and maritime safety standards. Her work integrates frameworks like CORAS, Fuzzy FUCOM, and SLIM to address cybersecurity dynamics and human factors in maritime operations. Key collaborations involve analyzing ransomware threats, AIS system vulnerabilities, and port infrastructure protection through interdisciplinary approaches. Her articles highlight trends in maritime cybersecurity, including ransomware mitigation, cyber hygiene practices, and critical infrastructure protection. She has contributed to developing risk assessment tools and checklists tailored for maritime environments, emphasizing both technological and human aspects of safety. No scientific awards have been explicitly mentioned. She has not listed formal advisees, and her professional activities focus on advancing maritime cybersecurity through academic and applied research.
