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 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
Research output
-
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 -
Data provenance, curation and quality in metrology
Cheney, J., Chapman, A., Davidson, J. & Forbes, A., 3 Feb 2021, (Accepted/In press) Advanced Mathematical and Computational Tools in Metrology and Testing XII. World Scientific Press, (Advances in Mathematics for Applied Sciences).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Activities
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Robert Atkey (Editor) & Sam Lindley (Editor)
8 Jul 2018Activity: Publication peer-review and editorial work types › Editorial activity
-
22nd ACM SIGPLAN International Conference on Functional Programming (Event)
Sam Lindley (Editor) & Brent Yorgey (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Robert Atkey (Editor) & Sam Lindley (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
Projects
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
-
-