Mika Göös

Sup. I am an assistant professor at EPFL in the Theory Group.

Previously, I was a post-doc at Stanford, Princeton IAS, and Harvard. I completed my PhD at University of Toronto under the watchful eye of Toniann Pitassi. I obtained my MSc from the University of Oxford and my BSc from Aalto University.

[CV], [Research statement], [Google scholar]




  1. Unambiguous DNFs and Alon–Saks–Seymour
    with Kaspars Balodis, Shalev Ben-David, Siddhartha Jain, and Robin Kothari
    Manuscript, 2021
  2. A Majority Lemma for Randomised Query Complexity
    with Gilbert Maystre
  3. On the Power and Limitations of Branch and Cut
    with Noah Fleming, Russell Impagliazzo, Toniann Pitassi, Robert Robere, Li-Yang Tan, Avi Wigderson
  4. Automating Algebraic Proof Systems is NP-Hard
    with Susanna de Rezende, Jakob Nordström, Toniann Pitassi, Robert Robere, and Dmitry Sokolov
  5. Automating Cutting Planes is NP-Hard
    with Sajin Koroth, Ian Mertz, and Toniann Pitassi
  6. When Is Amplification Necessary for Composition in Randomized Query Complexity?
    with Shalev Ben-David, Robin Kothari, and Thomas Watson
  7. The Power of Many Samples in Query Complexity
    with Andrew Bassilakis, Andrew Drucker, Lunjia Hu, Weiyun Ma, and Li-Yang Tan
  8. On the Complexity of Modulo-q Arguments and the Chevalley–Warning Theorem
    with Pritish Kamath, Katerina Sotiraki, and Manolis Zampetakis
  9. A Lower Bound for Sampling Disjoint Sets
    with Thomas Watson
  10. String Matching: Communication, Circuits, and Learning
    with Alexander Golovnev, Daniel Reichman, and Igor Shinkar
  11. Adventures in Monotone Complexity and TFNP
    with Pritish Kamath, Robert Robere, and Dmitry Sokolov
  12. Near-Optimal Communication Lower Bounds for Approximate Nash Equilibria
    with Aviad Rubinstein
  13. A Tight Lower Bound for Entropy Flattening
    with Yi-Hsiu Chen, Salil Vadhan, and Jiapeng Zhang
  14. Monotone Circuit Lower Bounds from Resolution
    with Ankit Garg, Pritish Kamath, and Dmitry Sokolov
  15. Query-to-Communication Lifting for BPP
    with Toniann Pitassi and Thomas Watson
  16. Query-to-Communication Lifting for PNP
    with Pritish Kamath, Toniann Pitassi, and Thomas Watson
  17. Extension Complexity of Independent Set Polytopes
    with Rahul Jain and Thomas Watson
  18. Separations in Communication Complexity Using Cheat Sheets and Information Complexity
    with Anurag Anshu, Aleksandrs Belovs, Shalev Ben-David, Rahul Jain, Robin Kothari, Troy Lee, and Miklos Santha
  19. Non-local Probes Do Not Help with Many Graph Problems
    with Juho Hirvonen, Reut Levi, Moti Medina, and Jukka Suomela
  20. A Composition Theorem for Conical Juntas
    with T.S. Jayram
  21. Randomized Communication vs. Partition Number
    with T.S. Jayram, Toniann Pitassi, and Thomas Watson
  22. Deterministic Communication vs. Partition Number
    with Toniann Pitassi and Thomas Watson
  23. The Landscape of Communication Complexity Classes
    with Toniann Pitassi and Thomas Watson
  24. Lower Bounds for Clique vs. Independent Set
  25. Rectangles Are Nonnegative Juntas
    with Shachar Lovett, Raghu Meka, Thomas Watson, and David Zuckerman
  26. Zero-Information Protocols and Unambiguity in Arthur–Merlin Communication
    with Toniann Pitassi and Thomas Watson
  27. Communication Complexity of Set-Disjointness for All Probabilities
    with Thomas Watson
  28. Communication Lower Bounds via Critical Block Sensitivity
    with Toniann Pitassi
  29. Linear-in-Delta Lower Bounds in the LOCAL Model
    with Juho Hirvonen and Jukka Suomela
  30. Separating OR, SUM, and XOR Circuits
    with Magnus Find, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, and Janne H. Korhonen
  31. What Can Be Decided Locally Without Identifiers?
    with Pierre Fraigniaud, Amos Korman, and Jukka Suomela
  32. Randomized Distributed Decision
    with Pierre Fraigniaud, Amos Korman, Merav Parter, and David Peleg
  33. No Sublogarithmic-Time Approximation Scheme for Bipartite Vertex Cover
    with Jukka Suomela
  34. Lower Bounds for Local Approximation
    with Juho Hirvonen and Jukka Suomela
  35. Locally Checkable Proofs in Distributed Computing
    with Jukka Suomela
  36. Search Methods for Tile Sets in Patterned DNA Self-Assembly
    with Tuomo Lempiäinen, Eugen Czeizler, and Pekka Orponen


For a laugh/nostalgic purposes: