Foundations of Computation

Airdrop games
Georganas, S., Kiayias, A. & Penna, P., 29 May 2025, (Accepted/In press) Proceedings of the 34th International Joint Conference on Artificial Intelligence. IJCAI Inc, p. 1-29 29 p. (Proceedings of the International Conference on Artificial Intelligence).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

File
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces land linear contractions
Di Meglio, M. & Heunen, C., 26 May 2025, In: Applied Categorical Structures. 33, p. 1-27 27 p., 18.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Querying graph data: Where we are and where to go
Libkin, L., Martens, W., Murlak, F., Peterfreund, L. & Vrgoč, D., 22 Apr 2025, (Accepted/In press) Companion of the 44th Symposium on Principles of Database Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 1-19 19 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

36th Annual ACM/IEEE Symposium on Logic in Computer Science
Gorla, D. (Chair) & Libkin, L. (Chair)
29 Jun 2021 → 2 Jul 2021
Activity: Participating in or organising an event types › Participation in conference
ACM SIGMOD/PODS International Conference on Management Data
Libkin, L. (Chair), Pichler, R. (Chair) & Guagliardo, P. (Chair)
21 Jun 2021 → 23 Jun 2021
Activity: Participating in or organising an event types › Participation in conference
Journal of Logical and Algebraic Methods in Programming (Journal)
Galpin, V. (Guest editor), Milazzo, P. (Guest editor) & Monreale, A. (Guest editor)
25 Oct 2019
Activity: Publication peer-review and editorial work types › Editorial activity

2011 ICDT Best Paper Award
David, C. (Recipient), Libkin, L. (Recipient) & Tan, T. (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
Best Demo Award for VLDB 2017
Fan, W. (Recipient), 2017
Prize: Prize (including medals and awards)
Best Paper Award for ICDE 2007
Fan, W. (Recipient), 2007
Prize: Prize (including medals and awards)

Quantum Advantage Pathfinder - Proposal for research and leadership role in quantum software and algorithms
Kashefi, E. (Principal Investigator), Heunen, C. (Co-investigator), Arapinis, M. (Co-investigator), Wallden, P. (Co-investigator) & Garcia-Patron Sanchez, R. (Co-Investigator (External))
1/04/23 → 31/03/26
Project: Research
Scalable simulation of noisy quantum computers on heterogeneous computing clusters
Barbalace, A. (Principal Investigator), Shaikhha, A. (Co-investigator), Mai, L. (Co-investigator), Marina, M. (Co-investigator), O'Boyle, M. (Co-investigator) & Garcia-Patron Sanchez, R. (Co-investigator)
1/04/23 → 31/03/26
Project: Research
IORH: INPUT OUTPUT RESEARCH HUB
Kiayias, A. (Principal Investigator)
1/02/23 → 31/01/28
Project: Research

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
Parsert, J. (Creator) & Polgreen, E. (Creator), Zenodo, 14 Dec 2023
DOI: 10.5281/zenodo.10377451
Dataset
[CODE] Website access traces for Tor/Firefox over Starlink and fiber links
Singh, P. (Creator), Barradas, D. (Creator), Elahi, T. (Creator) & Limam, N. (Creator), Zenodo, 9 Feb 2024
DOI: 10.5281/zenodo.10641853
Dataset
Morello Cerise Artifact
Hammond, A. (Creator), Almeida, R. (Creator), Bauereiss, T. (Creator), Campbell, B. (Creator), Stark, I. (Creator) & Sewell, P. (Creator), Zenodo, 18 Mar 2025
DOI: 10.5281/zenodo.15047228
Dataset

Organisation profile