Zhibo Chen
Email: zhiboc@andrew.cmu.edu | dblp | Google Scholar
Biography
I am currently a Ph.D. student at Carnegie Mellon University. I am working with Frank Pfenning on logical frameworks.
I obtained the degree of B.S. in Computer Science at University of California, San Diego, and M.S. in Computer Science at Carnegie Mellon University.
Research Interest
I am interested in dependent type theories and their applications in functional and logic programming.
Publications and Manuscripts
2023
- A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns. Zhibo Chen and Frank Pfenning.
CoRR abs/2312.07263. December 2023.
[ arxiv
| pdf
| pdf
]
- A Logical Framework with Infinitary Terms. Zhibo Chen.
CoRR abs/2312.05919. December 2023.
[ arxiv
| pdf
| pdf
]
- A Logical Framework with Higher-Order Rational (Circular) Terms. Zhibo Chen and Frank Pfenning.
Foundations of Software Science and Computation Structures (FoSSaCS 2023). April 2023.
Lecture Notes in Computer Science, vol. 13992. Springer 2023.
[
website
| pdf
| pdf
].
Extended Version Available as CoRR abs/2210.06663.
[ arxiv
| pdf
| pdf
]
Implementation is available. [ CoLF Implementation ]
2021
- Towards a mixed inductive and coinductive logical framework.
Zhibo Chen. Master's Thesis.
Available as CMU-CS-21-144, Technical Report, School of Computer Science, Carnegie Mellon University. December 2021.
[ website
| pdf
| pdf
]
Teaching