Research output per year
Research output per year
Organization 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.
Network
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
-
Analysis of Probabilistic Processes and Automata Theory
Etessami, K., Sep 2021, Handbook of Automata Theory: Volume II. Automata in Mathematics and Selected Applications. Pin, J-É. (ed.). EMS Publishing House, Vol. II. p. 1343-1382Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Approximately counting bases of bicircular matroids
Guo, H. & Jerrum, M., 1 Jan 2021, In: Combinatorics, Probability and Computing. 30, 1, p. 124 - 135 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency
Afshani, P., de Berg, M., Buchin, K., Gao, J., Löffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Yang, H-T., 9 Feb 2021, Algorithmic Foundations of Robotics XIV. LaValle, S. M., Lin, M., Ojala, T., Shell, D. & Yu, J. (eds.). Springer, Cham, p. 107 - 123 16 p. (Springer Proceedings in Advanced Robotics; vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
-
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
-
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
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Robert Atkey (Editor) & Sam Lindley (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
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
-
-