Sunita Sarawagi is a Professor at Computer Science and Engineering , IIT Bombay, and a member of AI Labs@CSE . She is also associated with the Center for Machine Intelligence and Data Science (CMInDS), which she founded in 2020. Education: PhD in Computer Science from UC Berkeley (Thesis: Query Processing in Tertiary Memory Databases), BTech in Computer Science from IIT Kharagpur Research Interests span machine learning , data analytics , graphical models , and structured learning , with applications in text segmentation, sequence modeling, domain adaptation, and human-in-the-loop systems. Her publications reveal a strong focus on integrating data mining with database systems , temporal data analysis , and information extraction using probabilistic methods. Professional Activities include serving on the IEEE John Von Neumann Medal committee (2017-), VLDB 2011 Research Track Co-chair , and multiple program committee roles at top conferences like ICML, KDD, and SIGMOD. Labs & Teams : Leads the SS Lab , a research group focused on probabilistic graphical models, sequence modeling, and data integration techniques.
Marlon Dumas is a Professor of Information Systems at the University of Tartu's Faculty of Science and Technology, with a 20-year academic career spanning Estonia and Australia. He holds a PhD in Computer Science from the University of Grenoble 1, France, and has served as Head of Chair and Programme Director in Software Engineering programs. Specializes in Business Process Management (BPM) and Process Mining Current research focuses on prescriptive process monitoring, simulation modeling, and data privacy Recipient of 25+ scientific awards, including multiple Test of Time Awards and the Estonian National Research Award in Technical Sciences Editorial leadership: Area Editor for Information Systems (Elsevier) and ERC Starting Grant Panel Chair His work bridges theoretical advancements in BPM with practical applications in financial services and anti-money laundering. He has developed tools like SIMOD, Kronos, and Kairos for process optimization and analysis. His research integrates AI/ML techniques (reinforcement learning, causal inference) with traditional process modeling. Key trends in his recent publications include: Prescriptive monitoring systems combining causal inference and machine learning Privacy-preserving process mining techniques (differential privacy, anonymization) Resource availability modeling and multi-objective process optimization LLM applications for process analysis and intervention policies Scientific honors include: 2024 BPM Best Paper & Prototype Awards 2023 ICPM Best Prototype Award 2019 ERC Advanced Grantee 2017 Estonian National Research Award in Technical Sciences 2019 MODELS Test of Time Award 2017 BPM Best Prototype Award He has mentored PhD candidates as thesis examiner and contributed to 30+ conference program committees, including General Co-Chair roles at ESEC-FSE 2019 and CAiSE 2018. His work has been supported by European Research Council grants and Estonian Science Foundation projects.
Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.
Lorraine (Xiang) Li is an Assistant Professor in the Department of Computer Science at the University of Pittsburgh’s School of Computing and Information (SCI). Her research focuses on the intersection of natural language processing, commonsense reasoning, knowledge representation, and machine learning, particularly in designing probabilistic models and evaluation methods for implicit commonsense knowledge in language. Li holds a PhD from the University of Massachusetts, Amherst, and previously worked as a young investigator with the Mosaic team at AI2. She has an M.S. in Computer Science from the University of Chicago, where she conducted research at TTIC. Her work emphasizes advancing AI’s ability to reason contextually and generate robust, human-like understanding through probabilistic frameworks. Key research themes include bias detection in reasoning models, iterative model editing, domain adaptation with LLMs, and evaluating commonsense through probabilistic measures. Her recent publications explore challenges like confirmation bias in chain-of-thought reasoning and geographical robustness in object recognition. Li actively contributes to the NLP community, serving on program committees for ACL, EMNLP, NAACL, and ARR. Though no formal awards are listed, her prolific publication record reflects her impact in AI research. She currently leads research in procedural knowledge models (e.g., Plasma) and long-tail knowledge generation, advancing foundational AI methodologies.
Henrik Boström is a Professor of Computer Science specializing in Data Science Systems at the Division of Software and Computer Systems, KTH Royal Institute of Technology. His research focuses on trustworthy machine learning , with emphasis on conformal prediction (for confidence-calibrated predictions) and explainable AI . He is the developer of Python packages crepes (conformal classifiers/regressors) and xrf (explainable random forests). His primary research domains include: Developing robust methods for uncertainty quantification in predictive models Creating interpretable machine learning frameworks Optimizing ensemble techniques for high-dimensional data Applying ML to healthcare informatics and industrial diagnostics Analysis of his recent publications reveals strong emphasis on: (1) advancing conformal prediction theory for trustworthy AI, (2) enhancing interpretability of complex models like random forests and GNNs, and (3) developing efficient algorithms for uncertainty-aware learning in domains including healthcare, graph data, and high-dimensional regression. He serves as examiner for multiple degree projects and teaches courses including Programming for Data Science (ID2214) and Research Methodology and Scientific Writing (II2202) . He leads development of open-source tools for conformal prediction and model interpretation.
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.
Jelle Hellings is an Assistant Professor in the Department of Computing and Software at McMaster University , Canada. His research focuses on high-performance large-scale data management systems with a strong theoretical and algorithmic component, including resilient systems (blockchains) , graph databases , and external-memory algorithms . He previously worked as a Postdoc Scholar at the University of California, Davis and earned his PhD from Hasselt University in Belgium. Education: Doctor of Sciences in Computer Science (2018), Hasselt University Master of Science in Computer Science and Engineering (2011), Eindhoven University of Technology His research interests include scalable resilient systems with Byzantine fault tolerance, database theory, graph query languages, constraints on graph data, and external-memory algorithms for large graph datasets. He has authored numerous high-impact publications on blockchain-based resilient systems, query optimization in graph databases, and theoretical advancements in relation algebra expressiveness. Hellings actively contributes to academic service through program committee memberships and tutorial organization, and he currently teaches courses on future resilient databases and foundational computer science topics.
Aleksander Kubica is an Assistant Professor of Applied Physics at Yale University, specializing in quantum information science with a focus on quantum error correction and fault tolerance. His research bridges quantum many-body physics and topological codes, particularly exploring applications in superconducting circuits and quantum architectures. He holds a Ph.D. from the California Institute of Technology and a B.S. from the University of Warsaw. Dr. Kubica's work addresses foundational challenges in scalable quantum computing, including optimizing error correction protocols, developing fault-tolerant architectures, and analyzing the intersection of quantum metrology with error mitigation. Recent contributions include advancements in erasure qubits, correlated noise decoding, and topological code adaptations. His research often involves interdisciplinary approaches, combining theoretical physics with algorithm design and hardware-efficient solutions. Key themes in his publications include improving error correction thresholds, designing low-overhead quantum architectures, and exploring novel decoding strategies for topological codes. While no specific awards are listed, his active research trajectory and contributions to quantum computing indicate significant scholarly engagement in the field.
Colin J Akerman is Professor of Neuroscience and Group Leader in the Department of Pharmacology at the University of Oxford, concurrently serving as Corange Fellow and Medical Tutor at Corpus Christi College. His research investigates fundamental mechanisms of synaptic circuit formation and plasticity, with direct implications for epilepsy, dementia, and schizophrenia through multidisciplinary approaches integrating electrophysiology, optical imaging, and computational modeling. His primary research interests encompass Synaptic Plasticity, Neural Circuit Formation, and Excitatory-Inhibitory Balance, with specific focus on neuronal progenitor influences on connectivity, chloride dynamics in inhibitory transmission, and learning mechanisms in disease contexts. The lab employs custom-built equipment and molecular tools to probe synaptic function across in vivo , in vitro , and in silico platforms, emphasizing how activity-dependent processes shape neural networks during development and disease. Recent publications (2023-2025) reveal strong thematic convergence on intracellular chloride regulation in sleep-wake cycles, cortical circuit assembly from embryonic progenitors, and innovative optical tools for neural monitoring. This work bridges molecular neuroscience with systems-level understanding of synaptic plasticity, particularly regarding ionic mechanisms in epilepsy and sleep homeostasis. No scientific awards or fellowships are explicitly documented in the source materials. Professor Akerman currently mentors four PhD students (Vourvoukelis, Selfe, Wang, Gemayel) and multiple postdoctoral researchers, having previously trained scientists now leading independent groups in Toronto, Edinburgh, Cape Town, Oxford, and London. His research is funded by the European Research Council, Innovative Medicines Initiative, and Wellcome Trust, supporting investigations into synaptic mechanisms underlying neurological disorders. The Akerman Group, established in 2008, operates as an integrative neuroscience hub within Oxford's Pharmacology Department. The 10-member team combines expertise in patch-clamp electrophysiology, optogenetics, multiphoton imaging, and computational modeling, with current projects spanning neuronal progenitor biology, inhibitory synaptic plasticity, and learning rule implementation in neural networks. The lab emphasizes technical innovation, regularly developing custom instrumentation and molecular tools for neural observation and manipulation.
Joseph Tao-yi Wang is a Distinguished Professor in the Department of Economics at National Taiwan University (NTU). He holds a PhD from UCLA and previously served as a Postdoctoral Scholar and Visiting Associate at Caltech. His research spans experimental economics, neuroeconomics, game theory, and behavioral economics, with a focus on strategic decision-making, market design, and learning in games. Wang directs the Taiwan Social Sciences Experimental Laboratory (TASSEL), which hosts large-scale experimental research and conferences like the 2017 APESA. His work integrates eye-tracking, pupillometry, and machine learning to study cognitive processes in economic decisions. Wang is also active in educational innovation, developing flipped classroom models with experiments for economics courses. His publications consistently explore behavioral deviations from game-theoretic predictions, such as overcommunication in sender-receiver games and learning patterns in auctions. Recent work emphasizes reproducibility in management science and AI applications in education. Wang’s research uses diverse methodologies—from neuroimaging to field experiments—to test economic theories in real-world contexts. Wang mentors through NTU’s Berkeley Economics Student Assistant Program (BESAP) and organizes mini-courses for high school students. He has not received scientific awards per the available data.
Dr. Arnab Bhattacharya is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology (IIT) Kanpur since December 2020. He previously served as Associate Professor (2014–2020) and Assistant Professor (2007–2014) at IIT Kanpur. Education: PhD in Computer Science (2007), University of California, Santa Barbara MS in Computer Science (2007), University of California, Santa Barbara Bachelor of Computer Science and Engineering (2001), Jadavpur University Research Focus spans Databases , Data Mining , Information Retrieval , and Artificial Intelligence . His work emphasizes graph analytics , skyline queries , probabilistic data , and knowledge graph management . Article Trends reveal expertise in graph neural networks , trajectory-aware systems , statistical significance in databases , and legal/medical data mining . His methodologies often integrate chi-square statistics , approximate indexing , and provenance tracking . Scientific Awards: IBM Faculty Research Award Yahoo! Faculty Research and Engagement Program Award Best Paper at COMAD 2011 Best Student Paper at COMAD 2010 Top-Five Student Paper at ICDM 2005 ICDM Student Travel Award sponsored by IBM Contact: Office RM 409, Department of Computer Science and Engineering, IIT Kanpur Email: arnabb@iitk.ac.in | Phone: +91-512-259-7650
Professor Alessandra Russo leads the Structured and Probabilistic Knowledge Engineering (SPIKE) research group at Imperial College London's Department of Computing. With expertise spanning computational logic, symbolic machine learning, and neuro-symbolic AI, she develops foundational AI techniques applied to security, network management, healthcare, and adaptive systems. Professor Russo holds a PhD in Computing from Imperial College London and an MSc in Computer Science from Ionian University. Her research pioneers logic-based learning systems for intelligent adaptive technologies, with projects including declarative networking for security management, privacy-preserving federated learning, and hybrid neuro-symbolic approaches for robust reasoning. Her current work focuses on developing interpretable AI systems through neuro-symbolic integration, creating frameworks that combine neural networks with symbolic reasoning for explainable decision-making. Recent publications explore rule learning from knowledge graphs, transformer-based world models, and formal methods for representation learning. Professor Russo teaches courses on Logic-Based Learning and AI Applications, and has received the Google PhD Fellowship for her research contributions. She mentors numerous PhD students in areas spanning theoretical foundations and practical applications of computational logic and machine learning.
Alexander R. Pruss is a tenured Professor in the Department of Philosophy at Baylor University , within the College of Arts and Sciences . He holds a dual PhD in Philosophy (University of Pittsburgh, 2001) and Mathematics (University of British Columbia, 1996), and has held previous academic positions at Georgetown University. His work is deeply interdisciplinary, bridging metaphysics, philosophy of religion, formal epistemology, and ethics. Education: Ph.D. in Philosophy, University of Pittsburgh (2001) Ph.D. in Mathematics, University of British Columbia (1996) B.Sc. (Hon.) in Mathematics and Physics, University of Western Ontario (1991) Pruss’s research interests include metaphysics—particularly the Principle of Sufficient Reason , modality , and infinity —philosophy of religion, divine attributes , cosmological arguments , and sexual ethics . He is known for integrating rigorous formal methods with classical theistic metaphysics. His recent publications explore the intersection of probability theory, paradox, and theology, particularly in infinite domains. He has authored influential books such as The Principle of Sufficient Reason: A Reassessment (2006), Infinity, Causation and Paradox (2018), and One Body: An Essay in Christian Sexual Ethics (2012). The trends in his recent articles show a sustained focus on the philosophical implications of infinity, symmetry, and probability. He frequently investigates paradoxes in probability (e.g., infinite lotteries), challenges to modal realism, and the metaphysical coherence of divine attributes. His work combines analytic rigor with theological depth, often aiming to defend classical theism through logical and mathematical reasoning. Scientific awards and honors: Aquinas Medal, American Catholic Philosophical Association (2025) Wilde Lecturer, Oriel College, University of Oxford (2019) Outstanding Tenured Faculty Research Award, College of Arts and Sciences (2013) National Endowment for the Humanities Summer Stipend (2002) Social Sciences and Humanities Research Council of Canada Fellowship (1997–2000) Pruss has been actively involved in academic service, including serving on the Executive Council of the American Catholic Philosophical Association (2021–2024) and the Society of Christian Philosophers (2011–2013) . He has held editorial roles for journals such as American Philosophical Quarterly and Analysis and Existence . He has delivered numerous invited lectures globally, including at Oxford, Notre Dame, and MIT. There is no mention of formal PhD or Master’s students in the provided text, but he advises through graduate seminars and research supervision. He has not received specific grant mentions beyond fellowships and stipends. He is affiliated with research groups such as the Baylor Institute for Faith and Learning and the Thomistic Institute , and contributes to philosophy of science and theology dialogues. His work continues to shape contemporary debates in analytic philosophy of religion and metaphysics.
Anthony Niblett is a Professor and Canada Research Chair in Law, Economics, & Innovation at the University of Toronto Faculty of Law. He is an Affiliate Researcher with the Vector Institute for Artificial Intelligence and co-founder of Blue J, a startup leveraging AI for tax and legal professionals. Education: Ph.D. in Economics, Harvard University (2009) M.A. in Economics, Harvard University (2006) LL.B. (Honours), University of Melbourne (2003) B.Com. (Honours in Economics), University of Melbourne (2003) Bigelow Fellow, University of Chicago His research bridges artificial intelligence , innovation , and legal theory , with a focus on contract law , competition policy , and judicial behavior . He explores how machine learning transforms legal practice, regulatory frameworks, and judicial decisions. His work includes self-driving contracts , computational antitrust , and the personalization of law . Recent publications analyze AI’s role in legal disagreement , gender gaps in employment law , and computational merger reviews . His articles emphasize the intersection of technology , economics , and legal reform . Scientific Awards: Canada Research Chair in Law, Economics, & Innovation Bigelow Fellow, University of Chicago He serves as an Academic Advisor at the Future of Law Lab and contributes to Blue J , advancing AI applications in legal domains. His teaching includes Contract Law , Torts , and Economic Analysis of Law .
Per Christian Hansen is a Professor at the Department of Applied Mathematics and Computer Science (DTU Compute), Technical University of Denmark (DTU), where he leads the Section for Scientific Computing. He is a VILLUM Investigator and heads the CUQI (Computational Uncertainty Quantification for Inverse Problems) research initiative, aiming to develop accessible computational platforms for uncertainty quantification in inverse problems. His expertise lies in numerical analysis, numerical linear algebra, iterative reconstruction methods, and computational inverse problems, with applications in tomography, signal analysis, and plasma physics. His research integrates theoretical analysis—such as perturbation and convergence analysis—with the development of robust, adaptive, and efficient computational methods. He has co-authored five books, over 100 scientific papers, and several widely used MATLAB software packages, including IR Tools and Regularization Tools. His recent work (2023–2025) emphasizes uncertainty quantification, Bayesian inversion, and high-dimensional tomography in fusion plasmas, reflecting a strong trend toward probabilistic and robust modeling in inverse problems. He is a SIAM Fellow (2015) for his contributions to computational methods for rank-deficient and discrete ill-posed problems and regularization techniques. His scientific leadership is evident in both theoretical advances and practical software implementations. He actively collaborates across disciplines, particularly in nuclear fusion and medical imaging, and continues to supervise PhD students and publish in top-tier journals such as Inverse Problems , SIAM Journal on Scientific Computing , and Nuclear Fusion . SIAM Fellow (2015) VILLUM Investigator He advises PhD and Master’s students in computational mathematics and inverse problems, and his research is supported by major grants, including the VILLUM Investigator award. He leads the CUQI team, which develops open-source tools for non-experts to apply uncertainty quantification in inverse problems. His lab focuses on creating modeling frameworks that bridge theory, computation, and real-world applications in materials science, imaging, and plasma diagnostics.
