Jakob Nordström (Preferred)
Jakob Nordström
Full Professor, Department of Computer Science (DIKU), University of Copenhagen
Full Professor, Department of Computer Science, Lund University
Joined
August 2024
Names
Emails
****@di.ku.dk (Confirmed)
****@kth.se (Confirmed)
****@cs.lth.se (Confirmed)
****@jakobnordstrom.se (Confirmed)
Personal Links
Career & Education History
Full Professor
Department of Computer Science (DIKU), University of Copenhagen (ku.dk)
2020 – Present
Full Professor
Department of Computer Science, Lund University (lth.se)
2020 – Present
Advisors, Relations & Conflicts
PhD Advisor
Johan Håstad
2001 – 2008
Expertise
Combinatorial solving
Present
Computational complexity
Present
Certifying algorithms
Present
Proof complexity
Present
Proof logging
Present
Publications
Co-Authors
- Albert Atserias
- Alexander A. Razborov
- Alexander Hoen
- Ambros M. Gleixner
- Amir Yehudayoff
- Andy Oertel
- Arie Matsliah
- Armin Biere
- Arnab Bhattacharyya
- Bangsheng Tang
- Bart Bogaerts
- Buser Say
- Chris Beck
- Christoph Berkholz
- Ciaran McCreesh
- Daniela Kaufmann
- Dieter Vandesande
- Dmitry Sokolov
- Elena Grigorescu
- Eli Ben-Sasson
- Emir Demirovic
- Gioni Mexi
- Guillaume Lagarde
- Hannes Ihalainen
- Ilario Bonacina