In general, I am interested in applying abstract mathematical techniques in Algebra and Logic to practical problems in Program Semantics and Verification. I generally enjoy Mathematics, Computer Science, and their intersections.
Specifically, I am interested in using algebraic technique to develop general, reusable, and modular program verification techniques, and exploring their specific use cases in the real world.
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
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.
- 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