Marcin Kozik

Marcin Kozik is a computer scientist at Jagiellonian University working in theoretical computer science, with research centered on constraint satisfaction problems, promise CSPs, computational complexity, and universal-algebraic methods. His work studies how algebraic structure explains the complexity of decision and homomorphism problems, including bounded width, local consistency, absorption, Taylor-type conditions, and reductions between CSP and PCSP variants. He received a Ph.D. in Computer Science from Vanderbilt University in 2004 and habilitation from Jagiellonian University in 2011. His publications include work in JACM, SICOMP, LICS, FOCS, SODA, and similar theoretical computer science venues.