Research output per year
Research output per year
Organisation profile
Organisation profile
What are the theories which underlie the analysis and design of computer systems? How can these foundational theories be implemented and applied practically?
Fingerprint
Dive into the research topics where Foundations of Computation is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Myrto Arapinis
- School of Informatics - Reader
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
David Aspinall
- School of Informatics - Personal Chair in Software Safety and Security
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
Julian Bradfield
- School of Informatics - Reader
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
Eris: Measuring discord among multidimensional data sources
Abelló, A. & Cheney, J., 20 Sept 2023, (E-pub ahead of print) In: VLDB Journal. p. 1-25 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
C2TACO: Lifting Tensor Code to TACO
De Souza Magalhães, J. W., Woodruff, J., Polgreen, E. & O'Boyle, M. F. P., 3 Sept 2023, (Accepted/In press) Proceedings - GPCE 2023. p. 1-15 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games
Mayr, R. & Dantam, M., 28 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 38:1-38:15 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
-
ACM SIGMOD/PODS International Conference on Management Data
Leonid Libkin (Chair), Reinhard Pichler (Chair) & Paolo Guagliardo (Chair)
21 Jun 2021 → 23 Jun 2021Activity: Participating in or organising an event types › Participation in conference
-
36th Annual ACM/IEEE Symposium on Logic in Computer Science
Daniele Gorla (Chair) & Leonid Libkin (Chair)
29 Jun 2021 → 2 Jul 2021Activity: Participating in or organising an event types › Participation in conference
-
Journal of Logical and Algebraic Methods in Programming (Journal)
Vashti Galpin (Guest editor), Paolo Milazzo (Guest editor) & Anna Monreale (Guest editor)
25 Oct 2019Activity: Publication peer-review and editorial work types › Editorial activity
Prizes
-
2011 ICDT Best Paper Award
David, Claire (Recipient), Libkin, Leonid (Recipient) & Tan, Tony (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
-
Best Demo Award for VLDB 2017
Fan, Wenfei (Recipient), 2017
Prize: Prize (including medals and awards)
-
Best Paper Award for ICDE 2007
Fan, Wenfei (Recipient), 2007
Prize: Prize (including medals and awards)
-
Benchmarking Quantum Advantage
Garcia-Patron Sanchez, R. & Guo, H.
1/06/23 → 31/03/25
Project: Research
-
Quantum Advantage Pathfinder - Proposal for research and leadership role in quantum software and algorithms
Kashefi, E., Heunen, C., Arapinis, M., Wallden, P. & Garcia-Patron Sanchez, R.
1/04/23 → 31/03/26
Project: Research
-
Scalable simulation of noisy quantum computers on heterogeneous computing clusters
Barbalace, A., Shaikhha, A., Mai, L., Marina, M., O'Boyle, M. & Garcia-Patron Sanchez, R.
1/04/23 → 31/03/26
Project: Research
Press/Media
-
2020 ACM Fellows recognized for work that underpins contemporary computing
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment
-
-