Extracting Mathematical Concepts from Text.
Proceedings of the Eighth Workshop on Noisy User-generated Text, 2022
Temporal Landscapes: A Graphical Logic of Behavior.
Proceedings of the Fourth International Conference on Applied Category Theory, 2021
Behavioral Mereology: A Modal Logic for Passing Constraints.
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020
String Diagrams for Regular Logic (Extended Abstract).
Proceedings of the Proceedings Applied Category Theory 2019, 2019
Backprop as Functor: A compositional perspective on supervised learning.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019
Universal Constructions for (Co)Relations: categories, monoidal categories, and props.
Log. Methods Comput. Sci., 2018
A Universal Construction for (Co)Relations.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
The algebra of open and interconnected systems.
PhD thesis, 2016
A categorical approach to open and interconnected dynamical systems.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Additive monotones for resource theories of parallel-combinable processes with discarding.
Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015
Quantum techniques for studying equilibrium in reaction networks.
J. Complex Networks, 2015