MSc. and PhD. students
I can guide MSc. Thesis work on various topics in mathematical logic and complexity theory, and PhD. Thesis on topics connecting mathematical logic and complexity theory and, in particular, in proof complexity.
There is quite a few possible topics and if you are potentially interested, it is best to come and discuss it. I offer pro forma one or two MSc. Thesis topics in the university SIS but more often I put there a topic after we agree on one.
I do not offer any PhD. Thesis topics via the SIS: it is too individual and I want to talk to the candidate in person first. In particular, to start a PhD research in proof complexity you ought to have a solid background in mathematical logic and computational complexity theory. I also expect that the candidate's MSc. thesis or some other work clearly demonstrates his or her ability for an independent research work.
Some information about the PhD program and, in particular, about the admission procedure is at the University page and at the Faculty page.