I am an Assistant Professor at the Department of Computer Science, LTH, Lund University. My research is in complexity theory, in particular in the areas of proof, circuit and communication complexity. You can read more about me here and about the research team here.
Contact info
-
Email:
susanna.rezende
cs.lth.se
Address: Institutionen för datavetenskap, Lunds universitet
Klas Anselms väg 10, office 2125e, 223 63 Lund, Sweden
News
- June, 2026: The Workshop on Algebraic Complexity Theory (WACT) took place in Copenhagen. I gave an invited survey talk together with Kilian Risse on algebraic proof systems. Videos of all the talks are available here.
- May, 2026: Congratulations to Andy Oertel for successfully defending his thesis!
- March, 2026: We're currently looking for a PhD student (deadline April 15, 2026) in theoretical computer science. For more information see open positions and feel free to drop me an email.
- February, 2026: I joined the editorial board of the journal Theoretical Computer Science.
- April, 2025: I'm excited to join the editorial board of ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik a new diamond open access journal in mathematical logic. (More on the MLQ editorial board walk-out that led to the creation of this new journal: open resignation letter; and some online news reports here and here.)
Links
- Research team
- About me
- Short cv: PDF (updated Aug 2024)
- Open Positions
- Publications
- Google scholar, Orcid
- Some survey presentations
- Workshop on proof complexity at FOCS '21 (slides and videos)