Fingerprint Dive into the research topics where Theory and Algorithms 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.

    Research Output

    An Extensive Study on the Threat of Test Suites in Measuring Coverage Criteria Effectiveness

    Zhang, J., Zhang, L., Hao, D., Wang, M. & Zhang, L., 2019, ICST 2019 Main Technical Research Track.

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Applying quantum algorithms to constraint satisfaction problems

    Montanaro, A., Campbell, E. & Khurana, A., 18 Jul 2019, In : Quantum. 3, p. 167

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
    102 Downloads (Pure)

    Composing Bidirectional Programs Monadically

    Xia, L., Orchard, D. & Wang, M., 6 Apr 2019, Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Caires, L. (ed.). Springer, Cham, p. 147-175 29 p. (Lecture Notes in Computer Science; vol. 11423).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
  • 138 Downloads (Pure)

    Projects

    Models of effectful computation

    Wu, N. G.

    29/02/1631/07/16

    Project: Research

    EPSRC Fellowship - Pattern Matching Algorithms for Streaming Data

    Sach, B. G.

    1/08/131/04/14

    Project: Research

    Student theses

    Complexity and Simulation of Many-Body Quantum Systems

    Author: Piddock, S., 23 Jan 2019

    Supervisor: Montanaro, A. (Supervisor) & Clifford, R. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)

    File

    Quantum Algorithms and Complexity in Non-standard Models

    Author: Cade, C. W., 23 Jan 2020

    Supervisor: Montanaro, A. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)

    File

    Activities

    • 3 Fellowship awarded competitively
    • 1 Participation in workshop, seminar, course

    Bristol Algorithms Days

    Dom J Moylett (Participant)

    2 Feb 20163 Feb 2016

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

    EPSRC Fellowship - New insights in quantum algorithms and complexity.

    Ashley Montanaro (Recipient)

    31 Jul 201431 Jul 2019

    Activity: Other activity typesFellowship awarded competitively

    EPSRC Fellowship - Next generation pattern matching.

    Raphael Clifford (Recipient)

    1 Jan 20131 Jan 2018

    Activity: Other activity typesFellowship awarded competitively