skip to content

Department of Computer Science and Technology

  • Research Staff

I am a postdoctoral research associate in the Logics and Algorithms group led by Anuj Dawar. My research interests revolve around logic and complexity and lie mainly in the areas of finite model theory and propositional proof complexity. One topic I am specifically interested in at the moment are methods for studying the limitations of symmetric computation models and proof systems. This includes the logic Choiceless Polynomial Time as well as different kinds of symmetric circuits.
I am also an associate of Robinson College. 


Descriptive Complexity

Finite Model Theory

Proof Complexity


Selected talks

Conference proceedings

  • Pago, B., Seppelt, T. and Lichter, M., 2024. Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability 32nd EACSL Annual Conference on Computer Science Logic,
  • Pago, B., 2023. Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits Leibniz International Proceedings in Informatics, LIPIcs, v. 272
  • Pago, B., 2023. Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus Leibniz International Proceedings in Informatics, LIPIcs, v. 252
  • Pago, B., 2021. Choiceless computation and symmetry: Limitations of definability Leibniz International Proceedings in Informatics, LIPIcs, v. 183
  • Grädel, E., Pago, B. and Pakusa, W., 2017. The model-theoretic expressiveness of propositional proof systems Leibniz International Proceedings in Informatics, LIPIcs, v. 82
  • Journal articles

  • Dawar, A. and Pago, B., 2024. A Logic for P: Are we Nearly There Yet? ACM SIGLOG News, v. 11
  • Grädel, E., Grohe, M., Pago, B. and Pakusa, W., 2019. A Finite-Model-Theoretic view on propositional proof Complexity Logical Methods in Computer Science, v. 15
  • Theses / dissertations

  • Pago, B., Limitations of Choiceless Computation
  • Contact Details

    Office address: 
    William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD