Research
I am a final year Ph.D. student at Boston University POPV Group working with Professor Marco Gaboardi. I am currently looking for PostDoc position starting around Fall 2024.
My works range over a wide spectrum of theoretical and real-world problems in the field of Kleene Algebra.
- On the theoretical side, I am interested in producing simple and elegant proofs of complicated results like completeness and decidablity. Many of my theoretical work is built upon beautiful ideas from universal algebra, coalgebra, and category theory.
- On the practical side, I am interested in all kinds of applications of Kleene Algebra in various field of computer science, including network, distributed system, probabilistic computing, and etc. Currently, most of my practical work is in the field program logics and verifications. However, I am eager to use the power of Kleene Algebra to tackle real-world problems in other fields of Computer Science.
I am the organizer of BU POPV Seminar, and category theory reading group. I have previously organized a Coq reading group. Please contact me if you are interested giving a talk at any of these events.
Publications and Preprints
- Decidablity and Undecidablity of Kleene Algebra with Atomic Commutativity Hypothesis Unpublished Manuscript
- GKAT with Indicator Variables, Fast Decompilation Verification Unpublished Manuscript
- Domain Reasoning In TopKAT Unpublished Manuscript
- A Dependently Typed Language with Dynamic Equality The workshop on Type-Driven Development (TyDe) 2023
- On Incorrectness Logic and Kleene Algebra With Top and Tests Principle Of Programming Language (POPL) 2022
- Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) The workshop on Type-Driven Development (TyDe) 2020
- Kings in Generalized Tournaments Wheaton College Honor Thesis
- Lexos 2017: Building Reliable Software in Python Conference for Computing in Small Colleges, UNH-Manchester
Curriculum Vitae
Hobbies
I enjoy cooking, food, coffee, gardening with my wife, and hang out with my pet rabbits. I sometimes read about coffee and old Chinese poetry; I kept a tiny blog of some poetries and lyrics I translated and wrote. These translations are generally terrible, but I am trying to get better.
Contact
- Email: czhang03@bu.edu
- Signal: czhang03.04
- Mastodon: @czhang03@mathstodon.xyz
Teaching
- 2020 Fall, CS 230: Principle of Programming Language, with Professor Marco Gaboardi and Lecture Abbas Attarwala
- 2020 Summer, CS 111: Introduction to Computer Science 1, with Lecture John Magee
- 2020 Summer, CS 112: Introduction to Computer Science 2, with Lecturer Christine Papadakis-Kanaris
- 2020 Spring, CS 235: Algebraic Algorithm, with Professor Leonid Levin
- 2019 Fall, CS 132: Geometric Algorithm, with Lecture Abbas Attarwala
- 2019 Spring, CS 230: Principle of Programming Language, with Professor Wayne Snyder