Xiaoning Bian

Dalhousie University

Xiaoning Bian is a PhD student in Mathematics at Dalhousie University, where he works under the supervision of Peter Selinger. He is interested in mathematical logic and category theory, and their applications to theoretical computer science.

Program Visits

Logical Structures in Computation, Fall 2016, Visiting Graduate Student