George Osipov

Postdoc

Theoretical computer science.

Research in theoretical computer science

I am broadly interested in theoretical computer science, with a focus on constraint satisfaction problems and parameterized complexity.

My research is in computational complexity, an area that studies possibilities and limitations of efficient computation from a mathematical perspective. More specifically, I work on constraint satisfaction problems – a general class of problems where a global solution needs to satisfy many local constraints (think of solving the Zebra puzzle, or scheduling classes for a university while avoiding time conflicts).

Doctoral thesis

Cover of publication 'On Infinite-Domain CSPs Parameterized by Solution Cost'

George Osipov (2024)

Short facts about George Osipov

I am a fourth-year PhD student at TCSLAB supervised by Peter Jonsson and co-supervised by Victor Lagerkvist.

Originally I'm from Georgia where I received a BSc in computer science at Free University of Tbilisi and studied towards a MSc in mathematics Ilia State University.

I spent a year at Uppsala University thanks to the Erasmus+ exchange programme. I am part of AIICS division at IDA and also AI/math track of WASP graduate school.

Publications

2024

Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki (2024) PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, p. 1889-1897 (Conference paper)

George Osipov (2024)

2023

George Osipov, Magnus Wahlström (2023) 31st Annual European Symposium on Algorithms (ESA 2023), p. 86:1-86:17 (Conference paper)

Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Marcin Pilipczuk, Roohani Sharma (2023) 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), p. 11:1-11:19 (Conference paper)

Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Magnus Wahlström (2023) Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), p. 3179-3217 (Conference paper)

News

A new doctor in Computer Science: George Osipov

On the 3rd of June, George Osipov successfully defended his thesis in the intersection of theoretical computer science and artificial intelligence (AI), with a focus on parameterized complexity of constraint satisfaction problems (CSPs).

Adrian Lawson and PhD Student George Osipov at the award ceremony for the Lawson Scholarship.

George Osipov awarded the Lawson Scholarship for 2023

George Osipov, PhD student at the Department of Computer and Information Science (IDA), receives the Lawson Scholarship for 2023 for his excellent performance in computer and information science.

About the division

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.

91视频