جست‌وجوی استاد و پژوهشگر

Zhenjiang Huمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Functional Programming
• +۷ مورد دیگر

Zhenjiang Hu is a Chair Professor and Dean of the School of Computer Science at Peking University. He serves as Director of the Programming Languages Laboratory and has held significant academic positions including Professor at the National Institute of Informatics and University of Tokyo. BS and MS from Shanghai Jiaotong University (1988, 1991) PhD from University of Tokyo (1996) Lecturer/Assistant Professor at University of Tokyo (1997) Associate Professor at University of Tokyo (2000) Full Professor at National Institute of Informatics (2008) Full Professor at University of Tokyo (2018-2019) Professor Hu's research primarily focuses on programming languages and software engineering, with special emphasis on functional programming, bidirectional transformation, and software adaptation. His work explores transformational programming approaches for automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development. His research has significantly advanced the field of bidirectional programming, developing foundational theories and practical applications that enable more reliable and maintainable software systems. His recent publications demonstrate a strong trajectory in bidirectional programming, program synthesis, and graph processing. The research shows increasing sophistication in handling program transformations, with growing emphasis on practical applications in software engineering contexts. His work increasingly integrates formal methods with practical programming language design, creating systems that maintain theoretical soundness while addressing real-world software development challenges. The research spans multiple venues including top conferences like PLDI, POPL, ICFP, and OOPSLA, reflecting its broad impact across programming language research. Fellow of JFES (Japan Federation of Engineering Society, 2016) ACM Distinguished Scientist (2016) Member of Academia Europaea (2019) IEEE Fellow (2020) Member of Engineering Academy of Japan (2020) Professor Hu actively mentors students and has welcomed excellent candidates to join his group through Peking University's International Elite PhD Program and Boya Postdoctoral Fellowship Program. He serves on numerous program committees for major conferences including PLDI, POPL, ICFP, and OOPSLA, and holds editorial positions for prestigious journals such as Journal of Functional Programming and Science of Computer Programming. His leadership extends to conference organization, having served as PC Chair for CNCC 2024 and General Co-Chair for SoICT 2019. As Director of the Programming Languages Laboratory at Peking University, Professor Hu leads a research team focused on advancing programming language theory and practice. His lab has developed influential frameworks like BiGUL for bidirectional programming and Fregel for graph processing. The laboratory maintains strong international collaborations and contributes to both theoretical foundations and practical implementations in programming languages and software engineering.

Andy D. Pimentelمشاهده پروفایل

استاد

• Multi-core embedded systems
• System-level design, modeling and simulation
• Design space exploration
• +۷ مورد دیگر

Andy D. Pimentel is a Full Professor at the University of Amsterdam, where he chairs the Parallel Computing Systems (PCS) group within the Systems and Networking Lab at the Informatics Institute. His work focuses on the design, programming, and run-time management of multi-core and multi-processor computer systems, with particular attention to performance, power/energy consumption, system dependability, and design productivity. His academic background includes: PhD in Computer Science, 1998, University of Amsterdam MSc in Computer Science, 1993, University of Amsterdam Professor Pimentel's research spans multiple critical areas in modern computing systems. His primary interests include multi-core embedded systems, system-level design and simulation, design space exploration, performance and power analysis, system dependability, hardware/software co-design, run-time resource management, and Edge AI. His work addresses the growing challenges of making computer systems faster, more sustainable, energy efficient, reliable, and secure in an era of increasing computational demands and climate concerns. The PCS group he leads performs research on the modeling, analysis and optimization of extra-functional aspects of computing systems, which play a pivotal role in their work. An analysis of Professor Pimentel's recent publications reveals a strong focus on edge computing, distributed AI, and energy-efficient system design. His work bridges theoretical computer architecture with practical implementation challenges, particularly in the context of resource-constrained environments. Key trends include the adaptation of AI models for edge devices, thermal management in advanced architectures, and optimization of multi-core systems for both performance and energy efficiency. His research increasingly addresses sustainability concerns in computing, reflecting broader industry and academic priorities. His notable scientific achievements include: IEEE CEDA Outstanding Service Recognition Award DATE Fellow Award Professor Pimentel has served in numerous leadership roles in the academic community, including as General Chair of Design Automation and Test in Europe (DATE) 2024, Vice General Chair of IEEE/ACM Embedded Systems Week 2025, and General Chair of IEEE/ACM Embedded Systems Week 2026. He has secured significant research funding for projects related to sustainable computing, edge AI, and multi-core system design. His professional service includes board membership with the ICT Research Platform Nederland (IPN) since 2020 and leadership roles in major conferences such as DATE, Embedded Systems Week, and SAMOS. The Parallel Computing Systems group he chairs is a vibrant research team within the Systems and Networking Lab at the Informatics Institute. The PCS group focuses on the challenges of modern computing systems, particularly addressing the extra-functional aspects like performance, power consumption, and system dependability. Their work is highly relevant to current technological challenges in edge computing, sustainable systems design, and the integration of AI into resource-constrained environments.

Michael Carbinمشاهده پروفایل

دانشیار

• Programming Systems
• Probabilistic Programming
• Quantum Computing
• +۳ مورد دیگر

Michael Carbin is an Associate Professor at MIT in the Department of Electrical Engineering and Computer Science (EECS), where he leads the Programming Systems Group at the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research centers on developing programming systems that handle uncertainty through probabilistic programming, quantum computing, and neural networks. Carbin's work spans programming languages, systems, and machine learning, with themes including uncertainty management, efficiency optimization, and formal verification. His publications demonstrate a strong focus on probabilistic inference methods, neural network optimization, and quantum programming frameworks. Awards and Honors: Sloan Research Fellowship (2020) Multiple Best Paper Awards (OOPSLA 2013, 2014; ICLR 2019) NSF CAREER Award (2018) Google Faculty Research Award (2018) As the head of the Programming Systems Group, he advises 10+ graduate students and postdocs, focusing on cutting-edge systems research. He has secured grants including Facebook Research Awards and NSF funding.

• Inorganic Chemistry
• Analytical Chemistry
• Biomimetic Catalysis
• +۵ مورد دیگر

María Louloudi is a Professor of Inorganic Chemistry at the University of Ioannina, Department of Chemistry since 2012. She holds a BSc (1986) and PhD (1992) in Chemistry from the University of Ioannina, followed by postdoctoral research at the University of Rene Descartes in Paris and a EU Return Grant at her alma mater. Her research focuses on biomimetic catalysis, hybrid materials, and environmental catalysis, with over 90 publications and 1700 citations. She has coordinated numerous grants including L’OREAL, THALIS, and EU-funded projects. Education: BSc in Chemistry, University of Ioannina (1986) PhD in Chemistry, University of Ioannina (1992) Postdoctoral Research, University of Rene Descartes, Paris (1993–1995, EU Human Capital Fellowship) Research Interests: Her work emphasizes biomimetic catalyst design, hybrid materials for environmental applications, and catalytic oxidation mechanisms. Key areas include: Biomimetic models of enzymes (e.g., cytochromes, Mn/Fe enzymes) Development of heterogeneous catalysts for H 2 production and pollutant degradation Functionalized carbon materials for catalytic and environmental uses Grants & Awards: L’OREAL Paris Grants (2016–2021) THALIS Grant (2012–2015) for biomimetic materials EU Return Grant (1996) Advising & Labs: Supervised over 20 PhD/MSc students and leads the Biomimetic Catalysis & Hybrid Materials Lab . Major projects include: Development of recycled carbon-based catalysts Hybrid materials for arsenic removal Catalytic H 2 production from formic acid Administrative Roles: Dean of the Chemistry Department (2018–present) Coordinator of multiple graduate programs

Michael F. P. O'Boyleمشاهده پروفایل

استاد

• Optimizing compilation
• Machine learning
• Heterogeneous systems
• +۳ مورد دیگر

Michael F. P. O'Boyle is a Professor of Computer Science at the University of Edinburgh's School of Informatics. He is a leading researcher in compiler technology, specializing in optimizing compilation, machine learning for compilation, and heterogeneous systems. His work addresses the critical challenges of compiling software for increasingly diverse hardware architectures in the post-Moore's Law era. Professor O'Boyle's research interests focus on: Optimizing compilation techniques Machine learning applications in compilation Heterogeneous computing systems Program synthesis Neural machine translation for code Hardware/software co-design His recent publications demonstrate a strong focus on tensor optimization, compiler infrastructure for heterogeneous systems, and machine learning applications in program analysis and transformation. O'Boyle's work bridges traditional compiler techniques with modern AI-driven approaches to code optimization, addressing the growing complexity of hardware-software interfaces. Professor O'Boyle has received several notable honors and awards: ACM CGO Test of Time award (2017) Senior EPSRC Research Fellow Fellow of the British Computer Society (BCS) He holds significant leadership roles including Director of the ARM Research Centre of Excellence at Edinburgh and Director of the EPSRC Centre for Doctoral Training in Pervasive Parallelism. O'Boyle is also a founding member of HiPEAC, a European network for high-performance and embedded architecture and compilation, and has delivered keynote addresses at major conferences including PPoPP 2019 where he presented his vision for "Rethinking Compilation in a Heterogeneous World."

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-Based Security
• +۵ مورد دیگر

Benjamin C. Pierce serves as the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. He is a Fellow of the ACM with extensive editorial experience, having served as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans programming languages, type systems, language-based security, formal verification, differential privacy, and synchronization technologies. Pierce is renowned for developing foundational frameworks in bidirectional transformations (lenses), property-based testing, and differential privacy verification. His work bridges theoretical computer science with practical implementation, particularly evident in his development of the Unison file synchronizer and the Clowdr virtual conference platform. The trends in his recent publications reveal a sustained focus on verification techniques for privacy-preserving systems, particularly differential privacy, alongside continued innovation in bidirectional data transformations and property-based testing methodologies. His work increasingly integrates formal verification with practical implementation concerns. Fellow of the ACM Pierce has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop) events and has served on numerous program committees for major conferences including POPL, PLDI, and ICFP. His editorial work has significantly shaped the programming languages research community through his leadership roles in key journals. He leads development of the Unison file synchronizer, a cross-platform tool used worldwide, and co-developed the Clowdr virtual conference platform that gained prominence during the pandemic. His work demonstrates a consistent pattern of creating practical tools grounded in deep theoretical foundations.

• Catalysis
• Biofuels
• CO2 Conversion
• +۳ مورد دیگر

Dr. Eleni Heracleous serves as an Associate Professor in the Department of Science and Technology at the International Hellenic University (IHU) and as a Collaborating Member of the Chemical Process and Energy Resources Institute (CPERI/CERTH). Her administrative leadership includes roles as Head of Department, School Dean (2020-2021), and Director of MSc programs since 2016, alongside service on over 15 committees including IHU's Research Committee and the Administrative Council of the Hellenic Quality Assurance and Accreditation Agency. Her academic foundation includes: Diploma in Chemical Engineering, Aristotle University of Thessaloniki (2000) PhD in Chemical Engineering, Aristotle University of Thessaloniki (2005) Dr. Heracleous' research pioneers catalytic solutions for sustainable energy systems through biofuels upgrading, CO 2 conversion to fuels/chemicals, and selective oxidation of light alkanes. Her work integrates advanced catalyst design with process intensification to address critical environmental challenges in industrial applications, emphasizing circular economy principles and decarbonization pathways across multiple sectors. Analysis of her 2020-2022 publications reveals dominant themes in biomass/waste valorization (sewage sludge hydrothermal liquefaction, steel off-gas conversion) and precision catalyst engineering (zeolite modifications, Cu-Mo 2 C systems). These studies consistently bridge fundamental catalysis with scalable industrial processes for renewable fuel production and carbon utilization, demonstrating strong alignment with EU Green Deal objectives. No scientific awards or honors were specified in the source documentation. She actively mentors three PhD candidates while managing extensive research portfolios: as Principal Investigator for 17 projects (14 EU, 3 national) and Coordinator for 5 projects totaling €2M+, including flagship initiatives like BlackCycle (tire recycling), 3DInnovaCat (catalyst 3D printing), NextGenRoadFuels (urban waste biofuels), and CO 2 2MeOH (CO 2 -to-methanol technology). Her experimental work operates through the Laboratory of Environmental Fuels and Hydrocarbons (LEFH) at CPERI/CERTH, coordinating multidisciplinary teams across European institutions and industry partners to advance catalytic technologies for industrial decarbonization and circular resource management.

• Process Control
• Optimization
• Pharmaceutical Manufacturing
• +۳ مورد دیگر

Diangelakis Nikolaos is an Assistant Professor at the School of Chemical and Environmental Engineering, Technical University of Crete. His research focuses on advanced control strategies, optimization, and their integration within process systems engineering, particularly in pharmaceutical manufacturing and energy systems. He specializes in model predictive control (MPC), multi-parametric programming, and the unification of process design, scheduling, and control. Academic Role: Assistant Professor Department: Chemical and Environmental Engineering Institution: Technical University of Crete His work emphasizes data-driven methods and robust optimization, with applications in pharmaceutical processes, evaporation systems, and combined heat and power (CHP) systems. He has developed frameworks like PAROC for integrated optimization and control, bridging theoretical advancements with industrial applications. Key research themes include explicit model predictive control algorithms, multi-scale energy systems engineering, and the integration of design, scheduling, and control through multiparametric programming. His publications highlight contributions to MPC strategies for rotary tablet presses, robust optimization techniques, and the design of operable process intensification systems. Diangelakis collaborates on frameworks such as PAROC, which unifies process optimization and control. His research also addresses process operability and resilience, with applications to batch reactors and CHP systems. He advocates for the 'Grand Unification' of process design, scheduling, and control to enhance industrial efficiency and sustainability.

Georgios Syrakoulisمشاهده پروفایل

استاد

• Complex Electronic Systems
• Memristors and Nanoelectronic Devices
• Cellular Automata
• +۵ مورد دیگر

Georgios Syrakoulis serves as a full Professor at Democritus University of Thrace's School of Engineering, Department of Electrical and Computer Engineering since 2018 (appointed faculty member since 2008). He concurrently holds a visiting researcher/Professor position at UWE, UK since 2014 and maintains active industry collaborations through prior founding roles at Ulysses O.E. (1999-2002). His educational background includes a Diploma (1996) and Ph.D. (2001) in Electrical and Computer Engineering from Democritus University of Thrace. His research spans complex electronic systems , with specialized focus on memristive nanodevices, cellular automata theory, neuromorphic computing architectures, and bioinspired computational models. His work bridges theoretical frameworks with practical implementations in nanoelectronics and unconventional computing paradigms. Recent publications reveal a concentrated research trajectory in memristor-based neuromorphic and quantum computing systems , with significant contributions to modeling dynamic behavior of TaO memristors, developing virtual physarum-based computing labs, and establishing foundational frameworks for memristive networks. His scholarly output demonstrates consistent emphasis on bridging nanoscale device physics with computational architecture design. Professor Syrakoulis has supervised 11 Ph.D. dissertations, 22 Master's theses, and 75 undergraduate projects, with several receiving departmental and international awards. He has coordinated over 30 research programs funded by the EU, GSRT, HFRI, and private entities, including Wave-Based Memristive Devices (2020-2022), 1D1M Crossbar Architecture (2019-2021), and Synthesis and Performance Optimization of a Switching Nano-Crossbar Computer (2015-2019). As leader of the Electronics Laboratory, he directs research in nanoelectronic devices, memristive circuits, and unconventional computing architectures. His team maintains active collaborations through initiatives like Greek-Russian bilateral projects on quantum computing and EU-funded NANOxCOMP. He has organized international conferences including NANOARCH 2019 and PACET 2017, while presenting as invited speaker at over 30 international venues in the past five years.

• Net-centric Information Systems
• Service-Oriented Architectures
• Web Engineering
• +۶ مورد دیگر

Giannis Tzimas is a Professor at the Department of Electrical and Computer Engineering, University of Peloponnese. He holds a BSc and PhD in Computer Engineering and Informatics from the University of Patras. His research focuses on Net-centric systems, Web Engineering, Big Data, AI applications, Digital Transformation for public sectors, and Bioinformatics. He has been a World Bank consultant since 2018, advising on digital transformation projects in Social Protection, Labor, and Education across Europe, Africa, Asia, and the Caribbean. Dr. Tzimas has extensive leadership experience, including Technical Manager at the Graphics, Multimedia & GIS Lab (University of Patras, 1996–2018) and Technical Coordinator at the Computer Technology Institute (1997–2011). He managed EU-funded R&D projects and collaborated on infrastructure development for the TEI of Messolonghi’s Network Operations Center (2009–2013). His research interests include Service-Oriented Architectures, Web Data Engineering, and applications of Machine Learning in public sector digitization. He has published widely in top journals and conferences, with recent work exploring AI-driven labor market analytics and pandemic employment impacts. Dr. Tzimas collaborates with international organizations and academic institutions, contributing to frameworks for interoperable social protection systems and digital labor market observatories. His work bridges academic research with real-world policy implementation, emphasizing data-driven solutions for societal challenges.

• Materials Science
• Environmental Engineering
• Nanotechnology
• +۳ مورد دیگر

Konstantinos Beltsios is a Professor at the Department of Materials Science and Engineering, School of Chemical Engineering, National Technical University of Athens (NTUA). His work spans interdisciplinary research in materials science, environmental engineering, and cultural heritage science. He leads projects on advanced polymer membrane technologies, sustainable materials recycling, and analytical studies of historical artifacts. Key research interests include: Development of novel polymer membranes for gas separation and water treatment Recycling of polymeric materials like PVB from laminated glass Analysis of pigments and materials in Byzantine and post-Byzantine art CO2 capture using ionic liquid-based adsorbents Nanostructured carbon materials for catalytic and adsorption applications His recent publications (2022–2025) highlight advancements in membrane fabrication techniques, material characterization via X-ray and optical methods, and interdisciplinary studies bridging engineering and art conservation. He actively participates in institutional governance roles such as secretariat work for international student exchange programs (IKY Program) and academic assembly elections. Beltsios collaborates extensively with international institutions on EU-funded projects involving material innovation and cultural heritage preservation. His lab focuses on translating fundamental material science into practical solutions for environmental challenges and historical artifact conservation.

• Learning Technologies
• Digital Education
• Educational Technology
• +۳ مورد دیگر

Demetrios Sampson is a Professor of Digital Systems for Learning and Education at the University of Piraeus, Greece, since 2003. He holds leadership roles including Director of the MSc Program on Digital Learning and Director of the Research Laboratory Digital Systems in Learning and Education. Previously, he was a Professor of Learning Technologies and Director of Research at Curtin University, Australia (2015–2017), and a Senior Researcher at the Centre of Research and Technology–Hellas (2000–2003). He has been a Visiting Professor at 8 universities across 4 continents, including Peking University, University of Hong Kong, and University of Tartu. His research focuses on Learning Technologies and Digital Education, recognized globally, including being named in Stanford’s World’s Top 2% Scientists. He has authored/co-authored 314 publications (books, journal articles, chapters, conference papers), edited 22 books, and received 10 Best Paper Awards. He has supervised over 200 students and led 75+ research projects with €18M funding. Sampson co-authored groundbreaking works like Educational Data Literacy (Springer, 2022) and pioneered the first MOOC on Educational Data Analytics via edX, attracting 30,000+ participants globally. He initiated the open-access Educational Technology & Society Journal , now #4 in Google Scholar rankings. Leadership roles include Chair of IEEE Technical Committee on Learning Technologies (2008–2011, 2015–2018) and Editor-in-Chief of major journals. Awards include the IEEE Computer Society Distinguished Service Award and Golden Nikola Tesla Chain Award. He holds a PhD in Electronic Systems Engineering from the University of Essex (1995) and a Diploma in Electrical Engineering from Democritus University of Thrace (1989). Key contributions include promoting educational data literacy through the Learn2Analyse initiative, leading global conferences like IEEE International Conference on Advanced Learning Technologies, and advancing frameworks for teaching analytics, flipped classrooms, and MOOC design. His work bridges technology, pedagogy, and policy, shaping modern educational systems worldwide.

• Computational Creativity
• Machine Learning in Music
• Neural Networks
• +۴ مورد دیگر

Kaliakatsos Papakostas Maximos is an Associate Professor in AI in Music at the Department of Music Technology and Acoustics, Hellenic Mediterranean University, where he also directs the MSc program in Sound and Music Technologies. He collaborates with the Athena Research and Innovation Centre and the Cognitive and Computational Musicology Group at Aristotle University of Thessaloniki. His research focuses on computational creativity, neural networks in music understanding, evolutionary algorithms for harmony and rhythm generation, and interactive music systems. He develops applications like Genius Jam Tracks and contributes to open-source projects such as the CHAMELEON harmonisation system. His work bridges music theory, AI, and technology, with applications in mobile music tools and cognitive modeling. Research Interests : Computational Creativity through Machine Learning and Conceptual Blending Neural Networks in Music Generation and Analysis Evolutionary Computation for Musical Structures Human-Computer Interactive Systems for Improvisation Cognitive Models of Musical Perception Labs & Collaborations : Collaborating Researcher at Athena Research Centre Partnership with the Cognitive and Computational Musicology Group (Aristotle University) Development of open-source tools like CHAMELEON and GCT_py Grants & Projects : Not explicitly listed in provided texts, but his GitHub activity suggests ongoing research in AI music technologies.

Adrian Sampsonمشاهده پروفایل

دانشیار

• computer architecture
• programming languages
• compilers
• +۵ مورد دیگر

Adrian Sampson is an Associate Professor in the Department of Computer Science at Cornell University, where he is part of the Computer Systems Laboratory and the programming languages group. He joined Cornell in 2016 as an Assistant Professor and was promoted to Associate Professor in 2022. Prior to Cornell, he was a Visiting Researcher at Microsoft Research (2015-2016). He received his Ph.D. from the University of Washington in 2015 under advisors Luis Ceze and Dan Grossman, with a dissertation on Hardware and Software for Approximate Computing. His research focuses on breaking down abstraction barriers and rethinking the hardware-software interface. He is particularly known for his work on approximate computing, which explores how computers can be more efficient by allowing them to make controlled mistakes. He leads the Capra research group at Cornell, which investigates programming languages and computer architecture. Sampson's recent publications demonstrate a strong focus on hardware acceleration, FPGA programming, compiler design, and programming language theory. His work often bridges the gap between high-level programming abstractions and low-level hardware implementation, with particular attention to predictability, verification, and energy efficiency. He has made significant contributions to geometry types for graphics programming, timeline types for modular hardware design, and virtual machines for FPGA programming. Among his notable recognitions are the IEEE TCCA Young Computer Architect Award (2021), NSF CAREER award (2019), and multiple Distinguished Artifact Awards at major conferences. He has advised numerous Ph.D. students who have gone on to positions at institutions like Wellesley College, Northwestern University, and Amazon. Sampson is actively involved in academic service, serving on program committees for major conferences including PLDI, ASPLOS, and ISCA. He has also held leadership roles such as ACM SIGARCH Board of Directors (2023-2025) and SIGPLAN Information Director. His teaching at Cornell includes courses on computer systems, programming languages, and advanced compilers.

James Cheneyمشاهده پروفایل

استاد

• Databases and data provenance
• Programming languages and compilers
• Generic programming
• +۷ مورد دیگر

James Cheney is a Personal Chair of Programming Languages and Systems at the University of Edinburgh, working in the Laboratory for Foundations of Computer Science within the School of Informatics. He leads the Principles of Provenance research group and has been a Turing Fellow from 2018 to 2023. His educational background includes a PhD in Computer Science from Cornell University (2004), an MS in Mathematics from Carnegie Mellon University (1998), and a BS in Computer Science and Mathematics from Carnegie Mellon University (1998). Cheney's research focuses on the intersection of databases and programming languages, with particular emphasis on data provenance. His work spans several key areas: Databases and data provenance Programming languages and compilers Generic programming Logic and automated theorem proving Compression and information theory XML and related technologies His recent publications demonstrate a strong focus on language-integrated query systems, type systems for programming languages, and formal approaches to data provenance. These works often bridge theoretical foundations with practical applications in database systems and programming language design. Cheney has received several notable awards and recognitions: Royal Society University Research Fellowship (2008-2016) Turing Fellow (2018-2023) ERC Consolidator Grant for the Skye project (2016-2021) Google Research Award for Language-integrated provenance As an advisor, Cheney has supervised numerous PhD students and postdoctoral researchers who have gone on to positions at institutions including New York University, LSE, University of Southampton, Meta, and others. His research has been supported by various grants from DARPA, EPSRC, AFOSR, EU FP7, and industry partners including Google, Microsoft Research, and Huawei. Cheney leads the Principles of Provenance group, which conducts fundamental research on data provenance and its applications in security, data curation, and scientific computing. The group has worked on projects including Skye (a programming language for scientific data curation), ADAPT (a DARPA-funded project on advanced persistent threat prevention), and language-integrated provenance systems.