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.
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.
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.
Rida Khatoun is a Professor in Cybersecurity at the Computer Sciences and Networks (Infres) Department at Télécom Paris. He holds a M.Sc. in Computer Engineering and a Ph.D. from the University of Technology of Troyes (UTT), France, awarded in 2004 and 2008, respectively. His research focuses on cybersecurity in networks, including cloud computing security, IoT security, vehicular networks security, intrusion detection systems, and blockchain technology. He has taught at Telecom Paris since 2014, Shanghai Jiao Tong University (SJTU) since 2016, and other institutions in China and France since 2005. His work spans theoretical frameworks and practical solutions for network security challenges. Key research areas include DDoS attack detection, vehicular communication security, and cryptographic protocols. He leads the Cybersecurity and Cryptography (C²) research team and is affiliated with the Laboratoire Traitement et Communication de l'Information (LTCI). His contributions include developing secure routing protocols (e.g., ASROP), statistical trust systems in wireless networks, and blockchain-based authentication for IoT. He has authored over 115 publications, including peer-reviewed articles and conference proceedings, with recent work addressing vehicular platooning security, TLS handshake optimization for C-ITS, and machine learning for cyberbullying detection. Rida’s academic activities include teaching courses on network security protocols, wireless network fundamentals, and QoS mechanisms. He collaborates internationally, contributing to smart city cybersecurity architectures and 6G programmable communications. His research emphasizes practical cybersecurity solutions for emerging technologies, ensuring robust protection against evolving threats in vehicular, IoT, and cloud environments.
Vibhav Gogate is a Professor and Associate Head of Research at University of Texas at Dallas, specializing in machine learning and artificial intelligence. His research focuses on probabilistic graphical models, statistical relational learning, and integrating deep learning with graphical models. Professor Gogate has received numerous awards including the NSF CAREER Award (2017), Outstanding Researcher Award (2022, 2017), and Best Paper awards at top AI conferences. His research funding includes projects from NSF and DARPA. Education: PhD, University of California, Irvine MS, University of Maine BS, University of Mumbai Recent Publications: His research spans probabilistic inference, tractable models, and neural network approaches for efficient reasoning, with publications in NeurIPS, AAAI, UAI, and AISTATS. Recent work focuses on scalable inference methods and explainable AI systems for complex domains. Research Funding: Secured over $8M in grants from DARPA and NSF for projects in explainable AI and probabilistic reasoning. Teaching: Regularly teaches graduate and undergraduate courses in Machine Learning, Artificial Intelligence, and Advanced Statistical Methods.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
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 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.
Hyuck Jin Park is a Full Professor in the Department of Energy Resources and Geosystems Engineering at Sejong University, South Korea, where he has been teaching and conducting research since 2003. With a Ph.D. in Engineering Geology from Purdue University, his expertise spans geotechnical engineering, landslide analysis, and geospatial technologies. Professor Park has built a distinguished career in landslide hazard assessment, combining traditional geotechnical approaches with modern machine learning techniques to improve prediction accuracy and risk management. His educational background includes: B.S. in Geology from Yonsei University (1990) M.S. in Geophysics from Yonsei University (1993) Ph.D. in Engineering Geology from Purdue University (2011) Professor Park's research focuses on the spatial and temporal probability of landslide occurrence, utilizing fuzzy logic, probabilistic analysis, GIS, Monte Carlo simulation, and machine learning for landslide hazard assessment. His work integrates physically based models with statistical approaches to better understand landslide mechanisms and improve prediction capabilities. He has made significant contributions to the development of methodologies that account for geological uncertainties in hazard assessment, with applications ranging from rock slope stability to rainfall-induced shallow landslides. His recent publications demonstrate a clear trend toward integrating explainable artificial intelligence with traditional geotechnical approaches for natural hazard assessment. Professor Park's work increasingly focuses on making machine learning models transparent and interpretable while maintaining high predictive accuracy. The research spans multiple hazard types including landslides, earthquakes, and floods, with a growing emphasis on climate change impacts and data-scarce environments. With an h-index of 28 and over 3,421 citations, Professor Park has established himself as a leading researcher in his field. His work has been published in high-impact journals including Engineering Geology, Landslides, and Catena, reflecting the significance and quality of his contributions to geotechnical engineering and natural hazard assessment. Professor Park has mentored numerous researchers through collaborative projects and has secured funding for his innovative work in landslide prediction and hazard assessment. His research has involved significant international collaboration, particularly with researchers from Malaysia, Australia, and Yemen, addressing landslide and flood risks in diverse geographical contexts. He leads research activities within the Department of Geoinformation Engineering at Sejong University and has contributed to the development of specialized tools like DEWS (Distance, Elevation, Watershed, and Slope unit) for landslide early warning systems.
Prof. Heinz Koeppl is a Professor in the Department of Electrical Engineering and Information Technology at TU Darmstadt. His research focuses on self-organizing systems, systems biology, and control theory, with applications in synthetic biology, robotics, and stochastic processes. He explores interdisciplinary topics such as genetic circuit design, UAV swarm dynamics, and machine learning-driven modeling of biochemical systems. Key research areas include the development of deep learning frameworks for kinetic modeling, Bayesian optimization for riboswitch design, and mean field control theory for sparse networks. His work bridges theoretical foundations with practical engineering solutions, addressing challenges in molecular communication, gene regulation, and robotic swarm coordination. Publications from 2023–2025 highlight advancements in bio-inspired algorithms, swarm intelligence, and computational biology. Notable contributions include studies on RNA-based circuits, active matter dynamics, and optimization strategies for large-scale systems. His research emphasizes interdisciplinary collaboration, leveraging tools from electrical engineering, mathematics, and life sciences. No scientific awards are explicitly listed in the provided text. Advising and grants details are not available. Prof. Koeppl’s lab focuses on integrating systems biology approaches with engineering principles to solve complex problems in healthcare, environmental sustainability, and technological innovation.
Aniello Murano is a Professor of Computer Science at the Department of Electrical Engineering and Information Technologies , University of Naples Federico II. He serves as Scientific Director of the ASTREA (Automated Strategic Reasoning) Laboratory and leads cutting-edge research in Artificial Intelligence, Strategic Reasoning, Multi-Agent Systems , and Formal Verification . Research Interests : Strategic reasoning under perfect/imperfect information, specification/verification/synthesis of reactive systems, temporal/modal logics, automata theory, parity games, game theory, mechanism design, and formal languages. Notable Projects : PNRR Research Unit Coordinator (2023-2025) on Resilient AI, PRIN 2020 Unit Coordinator (RIPER: Resilient AI-Based Self-Programming and Strategic Reasoning), H2020-MSCA SEAL (Principal Coordinator). Awards & Honors : JPMorgan Faculty Research Award (2022), Royal Society Award (2016), Best Paper PRIMA (2015), INDAM Project Leader (2023), Italian Scientific Habilitation (2017-2018). Students & Postdocs : Supervised 6 PhD students (e.g., Silvia Stranieri, Vadim Malvone) and mentored postdocs such as Munyque Mittelmann and Bastien Maubert. Laboratory : Leads ASTREA Lab, focusing on automated strategic reasoning and resilient AI systems.
Dr. Arno Berger is a Professor in the Department of Mathematical and Statistical Sciences at the University of Alberta. He holds a Dipl.Ing. (ME) and Dipl.Ing. (MSc) in Mechanical Engineering and Applied Mathematics from TU Wien (Vienna University of Technology), followed by a Dr. techn (PhD) and Habilitation in Applied Mathematics from the same institution. His research focuses on dynamical systems, ergodic theory, Benford's Law, nonautonomous dynamics, bifurcation theory, applied probability, and dimensional analysis. He has held visiting positions at prestigious institutions including Georgia Tech, University of Warwick, Goethe University Frankfurt, and University of Canterbury. His recent work includes studies on Saint-Venant-Polya inequalities, planar curves with position-dependent curvature, and distributions of logarithmic functions. He co-authored the seminal book An Introduction to Benford's Law (2015), and maintains the Benford Online Bibliography. His teaching spans courses like Differential Equations and Real Variables. Dr. Berger’s research has explored Benford’s Law in diverse contexts, from stochastic processes to finite-time dynamics. His articles often bridge theoretical insights with practical applications, emphasizing the ubiquity of Benford’s Law in mathematical systems.
Zurich University of Applied Sciences (ZHAW)Switzerland
Xiang Yin is a Research Associate at the Department of Computing in Imperial College London , affiliated with the Computational Logic and Argumentation group (CLArg) . His work bridges Explainable AI (XAI) and Computational Argumentation (CA) , focusing on the explainability of Quantitative Bipolar Argumentation Frameworks (QBAFs) through attribution and counterfactual explanations. Research Interests: Explainable AI (XAI) Computational Argumentation Quantitative Bipolar Argumentation Frameworks Model Interpretability Human-AI Interaction Logical Reasoning for AI Publication Trends reveal a focus on argumentation-based explainability, with 2025-2024 works addressing large language models for claim verification, truth-discovery frameworks, and counterfactual explanations. Earlier works (2023-2022) explore random forest explanations, faithfulness criteria, and QBAF analysis. His 2018 publications on aircraft prediction systems demonstrate applied machine learning expertise. Education PhD in Artificial Intelligence under Prof. Francesca Toni and Dr. Nico Potyka Pre-PhD: Machine Learning R&D Engineer at Baidu Labs & Teams Xiang is part of the CLArg group at Imperial College London, focusing on integrating computational argumentation with AI explainability and contestability.
Dieu Tien Bui is a Full Professor in the Department of Business and IT at the University of South-Eastern Norway (USN) School of Business. His research focuses on Geospatial Artificial Intelligence Machine Learning GIS and Remote Sensing Natural Hazard Modeling Environmental Problems (landslides, floods, soil salinity, biomass) . He has contributed to over 15 recent publications in journals like Science of the Total Environment , Remote Sensing , and Geomorphology , emphasizing hybrid AI models for landslide and flood susceptibility. His work spans Vietnam, India, China, and Iran with applications in climate change adaptation and disaster management. Scientific Awards: Global Highly Cited Researcher PhD Supervision: He has supervised 8 PhD students at institutions including USN, NTNU, and Vietnamese universities.
