Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

25

sep

Jonas Conneryd's PhD defence

25 september 2026 13:00 | Disputation

The public defence of the thesis takes place on Friday September 25th, 2026 at 13:00 in E:1406

Thesis title: On the Algebraic Proof Complexity of Constraint Satisfaction

Author: Jonas Conneryd, Department of Computer Science, Lund University

Faculty opponent: Professor Alexander Razborov, University of Chicago, USA

Examination Committee:

  • Professor Johan Wästlund, University of Gothenburg
  • Associate Professor Per Austrin, KTH Royal Institute of Technology
  • Associate Professor Vladimir Podolskii, Tufts University, USA
  • Deputy: Professor Jacek Malec, Lund University

Session chair: Senior Lecturer Elin Anna Topp, Lund University

Supervisors:

  • Main supervisor: Professor Tatyana Turova, Lund University
  • Senior Lecturer Michael Doggett, Lund University

Location: E:1406, E-huset, Klas Anshelms väg 10/Ole Römers väg 3, Lund

Here a link to download the thesis will appear later...

 

Abstract

To be added later...

 

Om evenemanget

Plats:

E:1406, E-huset, Klas Anshelms väg 10/Ole Römers väg 3, Lund

Språk:

In English

Kontakt:

jonas [dot] conneryd [at] cs [dot] lth [dot] se