Constantinos Daskalakis is the Armen Avanessians (1982) Professor in the MIT Schwarzman College of Computing and the Department of Electrical Engineering and Computer Science (EECS). He joined MIT in 2009 and is a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL), affiliated with the Laboratory for Information and Decision Systems (LIDS) and the Operations Research Center (ORC). His research focuses on theoretical computer science, with emphasis on game theory, machine learning, and high-dimensional statistics. Education: Ph.D. in Computer Science (not explicitly stated, but implied by tenure and awards). Research interests include computational complexity of Nash equilibria, multi-item auctions, machine learning algorithms, and causal inference. His work bridges game theory, economics, probability, and statistics, with applications in AI and healthcare. Key contributions include resolving long-standing problems in computational game theory and developing efficient methods for statistical hypothesis testing. He has been recognized with the 2018 Nevanlinna Prize, ACM Grace Murray Hopper Award, and the Kalai Game Theory Prize. Affiliations: CSAIL, LIDS, ORC, and the Foundations of Data Science Institute. Active in multi-agent learning, bias mitigation in data, and generative models.
Renée J. Miller is a Professor and Canada Excellence Research Chair in Data Intelligence at the Cheriton School of Computer Science, University of Waterloo. Her research focuses on data integration, data management, and open data systems. She holds a PhD in Computer Science from the University of Wisconsin-Madison and bachelor’s degrees in Mathematics and Cognitive Science from MIT. Her work addresses challenges in data preparation, integration, and curation, aiming to reduce the burden on data scientists. She co-authored foundational papers on data exchange and schema mapping, earning the ICDT Test-of-Time Award (2013) and the Alonzo Church Award (2020). Miller has led major initiatives like the NSERC Business Intelligence Network and the International Very Large Data Base Foundation. Her grants include NSERC Accelerator Awards and funding from IBM, SAP, and Microsoft. Notable students include Ariel Fuxman (SIGMOD Dissertation Award winner) and Oktie Hassanzadeh (IBM PhD Fellow). Her research group, the Miller Lab, develops tools like Clio for schema mapping and systems for data lake exploration (RONIN, JOSIE).
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.
Alfred O. Hero, III is the John H. Holland Distinguished University Professor of Electrical Engineering and Computer Science and the R. Jamison and Betty Williams Professor of Engineering at the University of Michigan, Ann Arbor. He is currently on leave from the University of Michigan as a Program Director in the CISE Directorate at the National Science Foundation. His primary appointment is in the Department of Electrical Engineering and Computer Science (EECS), with secondary appointments in the Department of Biomedical Engineering and the Department of Statistics. He is also affiliated with the UM Center for Computational Medicine and Bioinformatics (CCMB), the UM Graduate Program in Applied and Interdisciplinary Mathematics (AIM), the UM Applied Physics Program, and the Michigan Institute for Data Science (MIDAS), which he co-founded from 2015-2018. Hero's research focuses on data science, developing theory and algorithms for multimodality data collection, fusion, analysis and visualization that use statistical machine learning and distributed optimization. His work has applications in wearable technologies for personalized health and predictive medicine, spatio-temporal networks in biology, climate, and social discourse, anomaly detection, and data analysis for international security. His recent research interests include high dimensional spatio-temporal data analysis, multimodal data integration, statistical signal processing, and machine learning, with particular emphasis on predictive mathematical models for biological and physical sciences, social networks, network security and forensics, and personalized health and disease. His recent publications demonstrate a strong focus on high-dimensional statistical methods, contrastive learning, neural network optimization, change detection in temporal graphs, and applications in microbiome analysis and epidemic modeling. The research spans theoretical foundations in information theory and statistical learning while addressing practical applications across multiple domains. Scientific Awards: IEEE Signal Processing Society Best Paper Award (1998) Best Original Paper Award from Journal of Flow Cytometry (2008) Best Magazine Paper Award from IEEE Signal Processing Society (2010) SPIE Best Student Paper Award (2011) IEEE ICASSP Best Student Paper Award (2011) IEEE Signal Processing Society Technical Achievement Award (2014) IEEE Signal Processing Society Society Award (2015) IEEE Fourier Award (2020) University of Michigan Distinguished Faculty Achievement Award (2011) Hero has advised over 60 PhD students and 30 postdocs in areas including modeling, computation, and inference for large scale time varying data in the biosciences. He has received significant research funding from the Department of Energy, Army Research Office, Air Force Office of Scientific Research, and National Science Foundation. He has held leadership positions including President of the IEEE Signal Processing Society (2006-2007), Director of Division IX (Signals and Applications) on the IEEE Board of Directors (2009-2011), and Chair of the Committee on Applied and Theoretical Statistics of the US National Academies (2018-2020).
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.
Daniel Grier is an Assistant Professor jointly appointed in the Computer Science and Engineering and Mathematics departments at the University of California, San Diego (UCSD). His research focuses on quantum complexity theory , particularly exploring near-term quantum computing paradigms and proving quantum advantage over classical systems. He holds a Ph.D. from MIT and was previously a postdoctoral fellow at the University of Waterloo’s Institute for Quantum Computing. Education: Ph.D. in Computer Science, MIT B.S. in Computer Science and Mathematics, University of South Carolina Research Interests: Grier’s work bridges theoretical computer science and quantum computing, emphasizing algorithm design, complexity class separations, and foundational questions about quantum supremacy. He studies how low-depth quantum circuits, boson sampling, and other near-term technologies can achieve computational tasks classically deemed intractable. Recent Article Trends: His publications explore efficient quantum state learning (e.g., classical shadows), hardness results for quantum sampling problems (e.g., bipartite Gaussian boson sampling), and circuit lower bounds (e.g., depth-2 QAC circuits). These contributions highlight his focus on rigorously defining quantum computational advantages. Awards: None explicitly listed in the text. Advising & Grants: Advises at least one student, Jackson Morris. His research is supported by grants exploring quantum complexity and algorithm design. Teaches advanced courses on quantum complexity theory, computability, discrete mathematics, and quantum computing fundamentals. Labs/Teams: Maintains an active lab focused on quantum complexity theory, collaborating with colleagues on topics like interactive protocols and shallow quantum circuits.
Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.
Ian Horrocks is a Professor of Computer Science at the University of Oxford and a Fellow of Oriel College. His research focuses on knowledge representation, description logics, automated reasoning, and semantic web technologies. He has held academic positions at the University of Manchester (2003–2007) and served as Chief Scientist at Cerebra Inc. (2001–2006). Horrocks earned his BSc (1st class), MSc, and PhD in Computer Science from the University of Manchester (1981–1997). His work includes foundational contributions to ontology languages (e.g., OWL) and reasoning systems such as HermiT and ELK. He has supervised over twenty doctoral students and postdoctoral researchers. His honors include Fellowships from the Royal Society (2011), ECCAI (2009), and the British Computer Society (2005). He serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge and leads initiatives in semantic web standards and knowledge graph applications. Key Roles: Editor-in-Chief (Journal of Web Semantics), Co-Chair (W3C OWL Working Group) Grants: EPSRC Senior Research Fellowship (2005), numerous international collaborations Labs: Oxford Semantic Technologies, involvement in projects like RDFox and PAGOdA
Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.
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.
Maarten de Rijke is a Professor at the University of Amsterdam and affiliated with the Innovation Center for Artificial Intelligence (ICAI) . He is a leading expert in Information Retrieval , Recommender Systems , and Machine Learning , with over 500 publications and 10,000 citations. His work spans theoretical and applied domains, including conversational recommender systems , domain generalization , and neural ranking models . Research Pillars: Information retrieval, e-commerce search, learning to rank, and empathetic AI systems Awards: Best Paper (2x), Best Student Paper Community Roles: Organized workshops (MANILA25, SIGIR editions) His recent publications focus on robust recommendation systems , cross-domain contract extraction , and brain signal integration for query refinement. He leads the AIRLab (Amsterdam) and collaborates with institutions like Shandong University and the University of Chinese Academy of Sciences. Scientific Contributions : Over 500 publications in ACM Transactions, SIGIR proceedings, and journals Developed novel frameworks for learning-to-rank and user satisfaction modeling Pioneered research on conversational AI and adversarial attacks in retrieval He actively engages in community service, including organizing conferences and advocating for epilepsy research through initiatives like Emma’s collection box (over €24,448 raised). His work bridges theoretical rigor with real-world impact in search and recommendation technologies.
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)
Ke Wang is a Professor in the School of Computing Science at Simon Fraser University . His research focuses on Data Mining , Database Systems , Data Privacy , and Graph and Network Data . He holds a Ph.D. and M.Sc. from the Georgia Institute of Technology (1986 and 1984, respectively). Teaching includes courses like Database Systems II , Introduction to Data Mining , and Special Topics in Databases . He has advised numerous students and alumni, many of whom now work in tech, academia, and industry. Notable awards include the 2013 Faculty of Applied Sciences Research Excellence Award and the ECIR 2019 Best System Paper . His work emphasizes privacy-preserving techniques and has led to contributions like the Introduction to Privacy-Preserving Data Publishing textbook. He has served as a conference chair for major data mining events like SDM 2015/2016 and holds editorial roles in journals like ACM TKDD. His lab, the Database and Data Mining Laboratory , focuses on actionable solutions for real-world data challenges.
Miao Zhengjie serves as an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), joining in October 2023 after a research scientist position at Megagon Labs. His work centers on enhancing data science pipelines through innovations in database systems and artificial intelligence. His academic foundation includes: Ph.D. in Computer Science from Duke University (2022) M.S. in Computer Science from Columbia University (2016) B.S. in Computer Science and Technology from Peking University (2015) Dr. Miao's research spans Database Systems , Data Management , Data Curation , and Data Provenance , with emphasis on AI-driven solutions for data pipeline efficiency. His methodology bridges theoretical database concepts with practical data science applications through novel algorithm development. Analysis of his 15 most recent publications reveals persistent focus areas: query explanation systems (35% of works), data augmentation frameworks (27%), and human-AI collaboration tools (20%). These contributions appear consistently in premier venues including SIGMOD, VLDB, and CHI, demonstrating methodological evolution from foundational query debugging (2019) to LLM-integrated annotation systems (2024). He actively participates in the SFU Data Science Research Group , contributing to interdisciplinary initiatives in large-scale data processing. Current information indicates no formal advisees or grant details are publicly documented in his institutional profile.
Elena Simperl is a Professor of Computer Science and Deputy Head of Department for Enterprise and Engagement at King's College London's Department of Informatics. She co-directs the King's Institute for Artificial Intelligence and serves as Director of Research for the Open Data Institute. As a Hans Fischer Senior Fellow at the Technical University of Munich's Institute for Advanced Study, she leads the Trustworthy Knowledge Graphs focus group and contributes to advancing human-centric AI research across European institutions. Professor Simperl obtained her doctoral degree in Computer Science from the Free University of Berlin and her diploma from the Technical University of Munich. Prior to joining King's, she held academic positions in Germany, Austria, and at the University of Southampton, and was a Turing Fellow. Her career trajectory demonstrates consistent leadership in bridging academic research with practical applications in data ecosystems. Her research sits at the critical intersection of AI and social computing, focusing on human-centric approaches to building sociotechnical systems that integrate data, algorithms, and human capabilities. She investigates how to make knowledge engineering more accessible, how to leverage collective intelligence for data quality improvement, and how to design participatory AI systems that address societal challenges like misinformation. Her work spans knowledge graphs, semantic technologies, crowdsourcing, and open data, with particular emphasis on the social dimensions of data-intensive systems and the governance frameworks needed for trustworthy AI deployment. Analysis of her recent publications reveals a strong evolution toward integrating large language models with traditional knowledge engineering practices while maintaining human oversight. There's a clear trajectory from foundational work on knowledge representation toward increasingly applied research addressing real-world challenges in media ecosystems, citizen science, and data governance, with growing attention to policy implications of AI technologies. Fellow of the British Computer Society Fellow of the Royal Society of Arts Hans Fischer Senior Fellow at TUM-IAS (2023) Ranked among top 100 most influential scholars in knowledge engineering of the last decade Included in Women in AI 2000 ranking Professor Simperl has led 14 major European and national research projects totaling millions in funding, including MediaFutures (a Horizon 2020 program tackling online misinformation), QROWD, ODINE, Data Pitch, and ACTION. She currently co-chairs the Croissant working group in ML Commons developing data standards for AI, and serves as president of the Semantic Web Science Association. Her research has directly influenced the development of data ecosystems supporting startups and citizen science initiatives across Europe, demonstrating exceptional ability to translate theoretical advances into practical impact. As Director of Research at the Open Data Institute, she oversees initiatives connecting data entrepreneurs with artists and civic organizations. Her leadership in the MediaFutures project established a data-driven innovation hub that supported 51 startups/SMEs and 43 artists through three open calls, creating a sustainable model for arts-technology collaborations addressing media challenges. Her work with the ODINE project helped create a European ecosystem for data-driven startups, demonstrating her commitment to building practical applications of open data principles.
