Marcin Kozik

Marcin Andrzej Kozik – polski matematyk i informatyk, doktor habilitowany nauk matematycznych.

Marcin Kozik

doktor habilitowany nauk matematycznych
Specjalność: algebra, teoria złożoności obliczeniowej, informatyka teoretyczna, algorytmika
Alma Mater	Uniwersytet Jagielloński
Doktorat	2004 – informatyka Vanderbilt University (USA)
Habilitacja	2011 – informatyka Uniwersytet Jagielloński
adiunkt
Uczelnia	Wydział Matematyki i Informatyki Uniwersytetu Jagiellońskiego

Życiorys

Specjalizuje się w algebrze, teorii złożoności obliczeniowej, informatyce teoretycznej oraz algorytmice. Adiunkt Instytutu Informatyki Analitycznej Wydziału Matematyki i Informatyki Uniwersytetu Jagiellońskiego^[1][2][3][4].

Studia z informatyki ukończył na Uniwersytecie Jagiellońskim. Stopień doktorski uzyskał na amerykańskim Vanderbilt University w 2004 na podstawie pracy pt. On some complexity problems in finite algebras, przygotowanej pod kierunkiem prof. Ralpha McKenzie^[5][6]. Habilitował się na UJ w 2011 na podstawie oceny dorobku naukowego i rozprawy pt. Złożoność problemu spełnialności więzów^[1].

Swoje prace publikował w takich czasopismach jak m.in. „SIAM Journal on Computing”, „Journal of the ACM” „Algebra universalis”, „Theoretical Computer Science" oraz „Proceedings of the American Mathematical Society”^[7][8][9].