<p>In providing an understanding of the way physical systems interact, category theory draws closely on mathematics and computer science as well as physics. The unifying language of categories accentuates connections between its subjects. In particular, all physical systems are really quantum system, including those in computer science. This talk will first provide the basic notions from category theory, linear algebra and quantum theory that we will be using, and further introduce the recent developments in our research, including complexity-theoretic aspects of geometrical techniques, quantum combinatorics, powerful application in the area of quantum dynamics and the topological quantum field theory. If time allows, I will provide an overview of our research projects and grants, discuss our Postdoc and PhD programs, and answer questions from students. 报告时间：7月6日（周四，part1）14：00-16：00、7月7日（周五，part2）14：00-16：00</p>