Krzysztof Bar
Krzysztof Bar
Wolfson Building, Parks Road, Oxford OX1 3QD
Interests
I am mainly interested in the notion of complementarity in Quantum Theory. At the beginning doctoral studies I described various Quantum key distribution protocols using methods of higher category theory and also, worked on the less known Mean King's problem. Currently my interests shifted more towards Higher Category Theory, specifically exploring the structure of higher 'semistrict' categories. The concept behind these categories is to maintain equivalence to a general weak ncategory while at the same time being 'as strict as possible'. I indend to submit my thesis in the fall of 2016.
Biography
Education:
University of Oxford, DPhil in Computer Science (expected 2016)
University of Oxford, University College, MMathCompSci in Mathematics and Computer Science (20082012)
V Liceum Ogolnoksztalcace, Krakow, Poland (20052008)
Gimnazjum nr 52 Ojcow Pijarow, Krakow, Poland (20022005)
Selected Publications

A 2−Categorical Analysis of Complementary Families‚ Quantum Key Distribution and the Mean King Problem
Krzysztof Bar and Jamie Vicary
2014.
Details about A 2−Categorical Analysis of Complementary Families‚ Quantum Key Distribution and the Mean King Problem  BibTeX data for A 2−Categorical Analysis of Complementary Families‚ Quantum Key Distribution and the Mean King Problem

Groupoid Semantics for Thermal Computing
Krzysztof Bar and Jamie Vicary
2014.
Details about Groupoid Semantics for Thermal Computing  BibTeX data for Groupoid Semantics for Thermal Computing  Link to Groupoid Semantics for Thermal Computing