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).
Heather Zheng is the Neubauer Professor of Computer Science at the University of Chicago, co-directing the SAND Lab (Security, Algorithms, Networking and Data) with Prof. Ben Y. Zhao. She holds IEEE (2015) and ACM (2023) Fellowships, and was recognized as MIT TR35 (2005) for cognitive radio research. Her work bridges mobile/IoT security, adversarial ML, and generative AI ethics. Zheng earned her PhD in Electrical and Computer Engineering from University of Maryland in 1999, with prior roles at Bell-Labs, Microsoft Research Asia, and UCSB. Education: PhD in Electrical and Computer Engineering, University of Maryland, College Park (1999) Research Focus: Explores cutting-edge challenges in: Security implications of mobile/IoT sensors (e.g., bracelet-of-silence countermeasures) Adversarial machine learning defense mechanisms (e.g., Blacklight attack detection) Generative AI governance (Glaze, NightShade copyright tools) Awards: ACM Fellow (2023) IEEE Fellow (2015) World Technology Network Fellow Labs & Collaborations: Leads SAND Lab focusing on security, ML, and networked systems. Active in UChicago's Systems Group exploring cloud/edge computing architectures.
Ahmed Eldawy is an Associate Professor in the Department of Computer Science at the University of California, Riverside. He leads groundbreaking research in databases, big data management, and spatial data processing, with a focus on scalable exploratory analytics through systems like Beast , UCR-Star , Raptor , and Spider . His work spans geospatial data infrastructure, distributed computing, and computational geometry. Research Interests : Databases, big data management, spatial data processing, geospatial analytics, distributed systems, computational geometry. Awards : NSF CAREER award (2021), 10-year Influential Paper Award (ICDE 2025), Best Demo award (SIGSPATIAL 2020). Grants : NSF (IIS-2046236, IIS-1954644, CNS-1924694), USDA (USDA NIFA 2020-69012-31914), UC Office of the President (M21PL3368). Labs & Centers : RAISE@UCR, Data Science Center, Center for Robotics and Intelligent Systems (CRIS), Affiliate of Center for Geospatial Sciences and Winston Chung Global Energy Center. His recent publications focus on LLM-driven geospatial visualization (LASEK), distributed raster analytics (RDPro), learned spatial query optimization, and scalable spatiotemporal systems. He advises numerous PhD and Master’s students, many of whom now work at top tech companies like Amazon, Microsoft, and Meta.
David Cash is a Professor in the Department of Computer Science at the University of Chicago. His research focuses on applied and theoretical cryptography, computer security, and theoretical computer science. He joined UChicago in 2018 and has held roles such as teaching courses in cryptography, computer security, and discrete mathematics. Cash has advised numerous PhD and master’s students, including Sam Everett, Alexander Hoover, and Jesse Stern. His work includes constructing quantum-secure cryptography systems, analyzing encrypted data navigation, and foundational theoretical results. He has received notable awards like the 2025 Quantrell Award for Teaching and multiple Best Paper awards at Eurocrypt. Cash's research also explores secure computation, oblivious RAM, and cryptographic agility. His affiliations include the Systems Group at UChicago, focusing on interdisciplinary systems research. Education details are not explicitly provided in the text. However, his career trajectory suggests advanced degrees in computer science or related fields. His teaching spans undergraduate and graduate courses, emphasizing both theoretical foundations (e.g., discrete mathematics) and applied topics like cryptocurrencies and secure systems. Cash actively engages in academic service, including organizing conferences and reviewing research. His work bridges theoretical insights with practical applications, addressing modern computational security challenges. His research contributions span cryptographic protocols, secure data structures, and privacy-preserving technologies. Notable projects include work on searchable encryption, leakage-abuse attacks, and cryptographic systems resilient to quantum computing. Cash collaborates with institutions like Rutgers University and has mentored postdoctoral researchers such as Alexander Hoover. His grants include NSF CAREER awards and Simons Institute fellowships, supporting research in secure outsourcing and cryptographic data protection.
Dr. Feng Cheng is a Senior Researcher and head of the IT Security Engineering (Sec-Eng) Team at the Hasso Plattner Institute (HPI), Germany, and serves as the Representative of the Chair "Internet Technologies and Systems" at the Digital Engineering Faculty, University of Potsdam. He holds a PhD from the University of Potsdam, an MEng from Beijing University of Technology, and a BEng from Beijing University of Aeronautics and Astronautics. His research is centered on data-driven security engineering, security analytics, network security, cloud security, firewall, IDS/IPS, attack modeling, and penetration testing. Dr. Cheng's research interests span a broad range of cybersecurity domains, with a strong emphasis on security analytics , data-driven threat detection , cloud and network security , and authentication . His work integrates advanced data engineering and machine learning techniques to enhance security operations, including intrusion detection, threat intelligence, and security information and event management (SIEM). Key application areas include IoT security, mobile security, and web security. The recent publications of Dr. Cheng and his team reflect a significant trend towards leveraging big data analytics , machine learning , and graph-based methods for cybersecurity. Their work focuses on developing frameworks for blockchain-based public key infrastructures, advanced SIEM analytics, malware detection using NLP, and chaos engineering for cloud security. This demonstrates a strong commitment to creating practical, scalable, and intelligent solutions for modern security challenges in complex, distributed environments. Dr. Cheng is actively involved in the academic community as a member of ACM and IEEE, a program committee member for numerous international conferences, and an organizer of workshops on cloud computing and cybersecurity. He has also served on editorial boards for international journals. He supervises a large group of PhD, master's, and bachelor's students, guiding research on topics such as security analytics, cyber threat intelligence, digital credentials, and behavioral authentication. He leads the Sec-Eng team, which conducts research on a diverse portfolio including the Security Analytics Lab, HPI-VDB (vulnerability database), Lock-Keeper (physical separation technology), and the Security Lab Generator for scenario-driven security training.
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.
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.
Dr. Amin Sakzad is an Associate Professor in the Department of Software Systems & Cybersecurity at Monash University's Faculty of Information Technology. His research focuses on lattice-based cryptography, wireless communications, and post-quantum security protocols. He holds a PhD in Applied Mathematics from Amirkabir University of Technology (2011) and has held academic roles at Carleton University and Monash since 2012. Dr. Sakzad’s expertise spans lattice coding theory, MIMO systems, and privacy-preserving technologies for genomic databases and blockchain applications. He leads multiple ARC-funded projects, including work on secure databases (SRDBMS) and post-quantum cryptographic primitives for FinTech and energy sectors. His research has been recognized through awards such as the FIT Dean’s Award for Teaching Excellence (2021). Key collaborations include projects on blockchain security (CollinStar Lab), genomic data privacy, and energy market cybersecurity. His work addresses UN SDGs through contributions to quality education (SDG 4) and industry innovation (SDG 9). Recent publications highlight advancements in lattice-based cryptography (e.g., CRYSTALS-Kyber variants), privacy-preserving energy trading, and secure blockchain protocols like FPPW watchtower systems. His research bridges theoretical cryptography with practical implementations in embedded systems and 5G telecommunications. Grants: 16 active/completed projects including $1.2M in ARC funding Advising: Supervising PhD projects on lattice applications in post-quantum crypto and blockchain Labs: Core member of Monash’s Software Defined Telecommunications (SDT) Lab and CollinStar Lab
Charles Yang is a Professor of Linguistics and Computer Science at the University of Pennsylvania , where he also directs the Cognitive Science Program. His research integrates computational models with studies of language acquisition, processing, and evolution. Education: Ph.D. in Computer Science, MIT, 2000 Yang's work spans language acquisition , computational linguistics, and the evolution of cognition. He has authored The Price of Linguistic Productivity (2016), which received the Leonard Bloomfield Award from the LSA. Recent publications focus on large language models as cognitive models, the Chinese aspectual system , and statistical approaches to linguistic patterns. His 15 most recent articles (2025-2021) demonstrate a trajectory from computational models of language change to machine translation and multiword expression analysis . Yang has received significant funding from the National Science Foundation and the Guggenheim Foundation . He co-directs the Integrated Language Science and Technology group with John Trueswell and mentors students in linguistics, computer science, and psychology.
Professor Ruchi Choudhary is a Professor in Architectural Engineering at the University of Cambridge, Department of Engineering, within the School of Technology. She leads the Energy Efficient Cities initiative (EECi), a cross-disciplinary research project focused on strengthening the UK's capacity to address energy demand reduction and environmental impact in cities through research in building and transport technologies, district power systems, and urban planning. Her research interests span urban energy systems, building energy modeling, sustainable cities, geothermal energy systems, and data-driven energy modeling . She has pioneered work in digital twins for energy systems, urban subsurface thermal modeling, and building-integrated agriculture. Her research group develops numerical tools to improve energy efficiency of cities, with particular focus on modeling energy consumption of large building sets at multiple time and spatial resolutions. Analysis of her recent publications reveals a strong trend toward integrating machine learning with physics-based modeling for energy systems, with increasing emphasis on uncertainty quantification, digital twins, and value of information analysis for decision-making. Her work bridges the gap between theoretical modeling and practical urban implementation, with significant focus on city-scale geothermal potential, underground climate change impacts, and energy equity considerations. Professor Choudhary has supervised numerous PhD students who have gone on to prominent positions at institutions including UCL, University of Cambridge, BEIS, Arup, and various international universities. Her research group includes faculty members, research associates, graduate students, and international collaborators from institutions worldwide. Her current research focuses on two parallel investigations: one on using multi-scale multidisciplinary models to address energy use questions in the built environment, and second, on quantifying uncertainties in model outcomes. Current projects include integration of food production in urban environments, analysis of underground transport systems as energy sources, large-scale integration of ground source heat pumps, and distributed energy networks.
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.
Michael J. Freedman is the Robert E. Kahn Professor of Computer Science at Princeton University and co-founder/CTO of Timescale. He received his Ph.D. from NYU’s Courant Institute and degrees from MIT. Current roles: Professor, Co-founder & CTO Affiliations: Princeton University, SNS Group, CITP Associate Education: Ph.D. (NYU), S.B./M.Eng. (MIT) His research spans distributed systems, networking, and security, with innovations like CoralCDN, DONAR, and Ethane. His work impacts decentralized content delivery, software-defined networking, and privacy-enhancing technologies. His recent publications address scalable fusion algorithms, GPU acceleration for data systems, and distributed GPU resource management. These works intersect with cloud infrastructure, network optimization, and security. Scientific honors include: Presidential Early Career Award for Scientists and Engineers (PECASE) Sloan Fellowship NSF CAREER Award Office of Naval Research Young Investigator Award Test of Time Award (Theory of Crypto Conference) ACM SIGOPS Mark Weiser Award He advises graduate students like Sam Ginzburg and Ashwini Raina, who joined Meta AI and Timescale post-PhD. His projects have secured substantial grants, including $110M Series C funding for Timescale. Key labs/teams: Princeton SNS Group Co-founder, Timescale (enterprise data platform) Co-founder, iobeam (IoT analytics, acquired by Timescale) Collaboration with FCC on Consumer Broadband Test Contributions to OpenFlow/SDN standardization
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.
