Daniel Cicala, Ph.D.

Daniel Cicala Headshot

Department of Mathematics and Physics
College of Arts and Sciences

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


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