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
|
Marcin Andrzej Kozik – polski matematyk i informatyk, doktor habilitowany nauk matematycznych.
Ż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].
Przypisy
Linki zewnętrzne
Identyfikatory zewnętrzne (osoba):
