Picture of Joshua A. Grochow
Joshua A. Grochow
Assistant Professor
Departments of Computer Science and Mathematics
University of Colorado at Boulder
[first initial][last name]@colorado.edu
I will not be in the office during the coronavirus pandemic. My virtual office is here on Zoom.
Fax: (303) 492-2844 (ATTN: me)
CS Theory @ CU Boulder
Complex Systems @ CU Boulder

Me @ Mastodon BlueSky Twitter csthoery.SE mathoverflow ORCID
My pubs @ arXiv ECCC DBLP MathSciNet Google Scholar SciRate

About Me

I am an Assistant Professor in the Departments of Computer Science and Mathematics at the University of Colorado at Boulder, where I am a member of the CS Theory Group and the Complex Systems Group. My research has two main thrusts (with deep underlying relations beneath):

For a taste of the deep underlying relations, check out this brief video.

I was previously an Omidyar Fellow at the interdisciplinary Santa Fe Institute for complex systems. Prior to SFI, I was a postdoc in the University of Toronto CS Theory Group, and prior to that I got my Ph.D. at the University of Chicago.

What's new

(Feb 2024) Quoted in a great Communications of the ACM article "Algorithmic Advance: The Group Isomorphism Problem" by Erica Klarreich on Xiaorui Sun's recent breakthrough (also on arXiv) on p-Group Isomorphism. Also a nice mention at the end of our recent work with Youming Qiao: "On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications". I hope this article helps bring some visibility to these exciting developments!

(Spring 2024) Running a reading group Machine-independent complexity and formalization in theorem-provers. We are open to participants with the right prereqs (see page for details) and legitimate interest from anywhere. We currently have participants from CU Boulder (both Theory and PLV), U. Maryland, ENS France, UIUC, and BITS Pilani. Get in touch if you're interested in joining!

(Jan 31, 2024) New preprint posted! On the Constant-Depth Circuit Complexity of Generating Quasigroups, joint with N. A. Collins, M. Levet, A. Weiß.

(Nov 8, 2023) Paper accepted to ITCS '24: On the complexity of isomorphism problems for tensors, groups, and polynomials III: actions by classical groups, joint with Z. Chen, Y. Qiao, G. Tang, and C. Zhang.

(Nov 2, 2023) Paper invited from GandALF '23 to special issue of Logical Methods in Computer Science: On the Descriptive Complexity of Groups without Abelian Normal Subgroups. joint with Michael Levet.

(Aug 25, 2023) Paper accepted to GandALF 2023! "On the Descriptive Complexity of Groups without Abelian Normal Subgroups" (full version here) joint with Michael Levet.

(Aug 1, 2023) Best Paper Award at FCT 2023 for our paper "On the parallel complexity of Group Isomorphism via Weisfeiler-Leman" (arXiv of full version), joint with Michael Levet!

(Jul 28, 2023) Michael Levet presented hybrid online/in-person at Highlights of Logic, Games, and Automata '23 on our GandALF '23' paper On the descriptive complexity of groups without Abelian normal subgroups.



(Jul 21, 2023) Maya Ornstein (co-advised by myself and Keith Kearnes) successfully defended her PhD thesis. Congratulations Maya!

(Jul 18, 2023) Paper accepted to FCT 2023: "On the parallel complexity of Group Isomorphism via Weisfeiler-Leman", joint with Michael Levet!

(Jun 29, 2023) Tzu-Chi Yen (co-advised by myself and Dan Larremore) successfully defended his PhD thesis. Congratulations Tzu-Chi!

(Jun 29, 2023) New preprint posted: On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications, joint with Y. Qiao!

(Jun 23, 2023) Quoted in a lovely Quanta Magazine article "Computer Scientists Inch Closer to Major Algorithmic Goal" by Kevin Hartnett on Xiaorui Sun's recent breakthrough (also on arXiv) on p-Group Isomorphism. I hope this article helps bring some visibility to these exciting developments!

(Jun 6, 2023) New preprint posted: On the complexity of isomorphism problems for tensors, groups, and polynomials III: actions by classical groups, joint with Z. Chen, Y. Qiao, G. Tang, and C. Zhang.

(Jun 5, 2023) New preprint posted: Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system.

(May 31, 2023) Any day now has arrived. Preprint of our forthcoming CCC '23 paper posted: "On the algebraic proof complexity of Tensor Isomorphism", joint with Nicola Galesi, Toniann Pitassi and Adrian She.

(May 11-13, 2023) My PhD students Michael Levet, Maya Ornstein, and Tzu-Chi Yen received their doctoral hoods, and undergraduate Nate Collins graduated summa cum laude, with the honors based in part on his thesis under myself and Michael. Congratulations Michael, Maya, Tzu-Chi, and Nate!

(May 10, 2023) Paper accepted to CCC 2023: "On the algebraic proof complexity of Tensor Isomorphism", joint with Nicola Galesi, Toniann Pitassi and Adrian She. Preprint to be posted any day now...

(May 5, 2023) Temporary research assistant job opportunity (at the postdoctoral level) for June-July 2023. Duties include working with me and/or my students on mutually agreed upon research project(s) related to higher-order interactions and isomorphism testing. Pay is $32.50/hr. Apply by emailing me directly with CV/resume and transcript (unofficial is fine), as well as some indication of your relevant research experience and interests.

(May 4, 2023) Guest blog post with Youming Qiao on the Computational Complexity Blog: Breaking Ground in Isomorphism Testing: A Leap Forward for a Bottleneck Case of Group Isomorphism.

(Apr 26, 2023) The final journal version of On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness, joint with Youming Qiao has now appeared in SIAM J. Comput.!

(Apr 24, 2023) Gave a talk at the HyperMatrix Workshop, entitled "Equivalences between different kinds of objects represented by hyper-matrices". Join us this week!



(Mar 28, 2023) Gave a talk at ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi, Working with Toni in Algebraic Proof Complexity.



(Mar 27, 2023) Chris Umans presented at WACT on our ITCS paper Matrix multiplication via matrix groups, joint with Jonah Blasiak, Henry Cohn, and Kevin Pratt.



(Mar 22, 2023) My student Michael Levet successfully defended his PhD thesis. Congratulations Michael!

(Mar 16, 2023) Guest blog post on the Computational Complexity Blog: Identities in Computational Complexity.

(Jan 27, 2023) Gave a talk at the U. Connecticut Logic Colloquium on my new paper Polynomial-time Axioms of Choice and polynomial-time cardinality.



(Jan 17, 2023) New paper posted Polynomial-time Axioms of Choice and polynomial-time cardinality to appear in a commemorative issue of Theory of Comput. Syst. dedicated to the memory of Alan L. Selman.

(Jan 11, 2023) Kevin Pratt presented at ITCS on our paper Matrix multiplication via matrix groups, joint with Jonah Blasiak, Henry Cohn, and Chris Umans.



See all past updates