Forskningsoutput per år
Forskningsoutput per år
Personlig profil
Forskning
I am a PhD student in the MIAO group headed by Jakob Nordström. My research concerns computational complexity theory, and proof complexity in particular. I am interested in lower bounds as well as interconnections between proof complexity and query, circuit and communication complexity.
Fingeravtryck
Utforska forskningsämnen där Jonas Conneryd är aktiv. Dessa ämnesetiketter kommer från personens arbeten. Tillsammans bildar de ett unikt fingeravtryck.
- 1 Liknande profiler
Samarbeten under de senaste fem åren
Externa samarbeten med länder/områden de senaste 5 åren
Forskningsoutput
- 1 Konferenspaper i proceeding
-
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Conneryd, J., De Rezende, S. F., Nordstrom, J., Pang, S. & Risse, K., 2023, Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023. IEEE Computer Society, s. 1-11 11 s. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review
Projekt
- 1 Aktiva
-
Proof Complexity
Conneryd, J. (Forskare), Nordström, J. (Handledare) & de Rezende, S. (Biträdande handledare)
2021/11/01 → …
Projekt: Avhandling
Aktiviteter
- 1 Deltagit i workshop/ seminarium/ kurs
-
Extended reunion of the program "Satisfiability: Theory, Practice, and Beyond" at the Simons Institute for the Theory of Computing, UC Berkeley
Conneryd, J. (Roll ej angiven)
2023 mars 21 → 2023 maj 15Aktivitet: Deltagit i eller arrangerat evenemang › Deltagit i workshop/ seminarium/ kurs