I got my Ph.D. in Mathematics from Dalhousie University supervised by Prof. Peter Selinger in 2023 August. You can contact me by bian@dal.ca . For more information, here is my CV .
Mathematical logic, category theory, and their applications to theoretical computer science.
Opened on: 08/15/2015. Last edited on: 10/10/2022 |