Computational Theory Team

Computational Thoery Team at the Department of Computer Science, AGH University of Science and Technology, is a part of the Computer Systems Group led by prof. Jacek Kitowski.

Members of the computational theory team are interested in topics as varied as computational complexity theory, homotopical and homological algebra, logic, algorithmic game theory, concurrency theory and others.

People

dr Piotr Faliszewski
Homepage: faliszew

Interests: computational social choice, algorithmic game theory, computational complexity theory, algorithms.

dr Krzysztof Worytkiewicz Homepage: worytkie

Interests: homotopical and homological algebra, geometry, category theory, logic, concurrency theory and program correctness/specification/verification

Contact Information

AGH - University of Science and Technology
Institute of Computer Science
Al. Mickiewicza 30
30-059 Krakow
Poland

You are welcome to contact the particular members of the team.