Doctoral Speaking Skills Talk - Zhibo Chen
October 21, 2026 10:00AM—11:00AM
Location:
6501
-
Gates and Hillman Centers
Speaker:
ZHIBO CHEN,
Ph.D. Student, Computer Science Department, Carnegie Mellon University
https://www.andrew.cmu.edu/user/zhiboc/
In this talk we present two calculi for describing concurrently running processes: CoLF logic programs and the semi-axiomatic sequent calculus (SAX).
Focusing on the first-order fragment of CoLF, we show how CoLF logic programs can be compiled into SAX processes. The main idea is to treat logic variables as communication channels shared between processes, allowing different parts of a logic program to run in parallel without backtracking.
Presented in Partial Fulfillment of the CSD Speaking Skills Requirement
Contact
Matt Stewart