Home
Illustration with book and speech bubble
Public PhD Defence

Public defence of doctoral thesis in Computer Science: Leif Eriksson

Leif Eriksson at the Department of Computer and Information Science (IDA) defends his thesis entitled: " Infinite-Domain CSPs and QBF: Fine-Grained and Parameterized Complexity."

Main Supervisor: Victor Lagerkvist, Senior Associate Professor, IDA

Opponent: Dr Hubert Chen, Senior Lecturer, King's College London, England.

The event is open to the public and held in English.

More Information

Cover of publication ''
Leif Eriksson (2025)
Infinite-Domain CSPs and QBF: Fine-Grained and Parameterized Complexity
Placeholder for missing image of Leif Eriksson

Leif Eriksson

PhD student

Organisation

The robotdog Spot hands over a first aid kit to a kneeling man

Artificial Intelligence and Integrated Computer Systems (AIICS)

The AIICS division is part of the Department of Computer and Information Science. The division's main focus is research and teaching in artificial intelligence, its theoretical foundations and its applications.
Image of Building E, Campus Valla.

Department of Computer and Information Science (IDA)

The Department of Computer and Information Science is one of the largest departments in northern Europe in its field. Research activity covers artificial intelligence, human-computer interaction, software and computer systems, and data science.

Faculty of Science and Engineering (Institute of Technology) (LITH)

With some 14,800 students, more than 1,000 employees and a budget exceeding SEK 1.7 billion, the Faculty of Science and Engineering is one of Sweden’s largest engineering education institutions. We are a fully integrated part of Linköping University.