Daniel Cicala, Ph.D.

Daniel Cicala Headshot
Lecturer

Mathematics Department
College of Arts and Sciences
Education

Ph.D., University of California, Riverside
M.Sc., University of Ottawa
B.Sc., New Jersey Institute of Technology

Research Interests

Applied category theory, homotopy type theory, theoretical computer science

Publications

Cicala, Daniel. Categorifying the ZX-calculus. Proceedings: 14th International Conference on Quantum Physics and Logic. Electron. Proc. Theor. Comput. Sci. Pp. 294--314, 266. 2018.

Cicala, Daniel and Courser, Kenny. Spans of cospans in a topos. Theory Appl. Categ., Vol. 33, no. 6, pp 131--147. 2018.

Cicala, Daniel. Spans of cospans. Theory Appl. Categ., Vol. 33, no. 6, pp 131--147. 2018.

Recent Conference Presentations

Syntax and inductive rewriting for open systems. Joint Mathematics Meetings. Baltimore MD. 2019.

A categorical syntax with structural rewriting for networks. Southern California MAA Sectional. Claremont CA. 2018.

A syntax for pure state qubit quantum mechanics. AMS Western Sectional. Riverside CA. 2017.

Open graphs in bicategories of spans and cospans. Category Theory 2017. Vancouver BC Canada. 2017.

Categorifying the ZX-calculus. Quantum Physics and Logic. Nijmegen Netherlands. 2017.

See More See Less