Chuck C. Liang

Degrees

PHD, 1995, University of Pennsylvania; BS, 1989, Univ Oregon

---

Bio

My research interests include proof theory, higher-order programming languages, type theory, compilation and automated deduction.

Selected List of Research Papers:

• Lambda Prolog Implementaion of Ripple-Rewriting.
• Specifying Object-Level Unification in Lambda Prolog.
• Dissertation Proposal.
• Doctoral Thesis. Defended on September 22nd, 1995 at the University of Pennsylvania .
• Substitutions for Proofs and Types as Logic Programming.
• Let Polymorphism and Eager Type Schemes.
• Free Variables and Subexpressions in Higher-Order Meta Logic.
• A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language.
• Compiler Construction in Higher Order Logic Programming.
• Tradeoffs in the Intensional Representation of A Framework for Distributed Interoperation Based On Higher-Order Meta-Logic
• Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Context. With Gopalan Nadathur and Xiaochu Qi. Minnesota.
• Aspect-Oriented Programming in Higher-Order and Linear Logic
• Focusing and Polarization in Intuitionistic Logic. With Dale Miller.
• On Focusing and Polarities in Linear Logic and Intuitionistic Logic. With Dale Miller. Long version.

---

Teaching Interests

programming languages, compilers, networking, concurrent and parallel programming, computer architecture, discrete math and logic, object oriented programming.

---

Research Interests

mathematical logic and proof theory, type theory and the foundations of programming languages, compiler design.

---

Recent Courses Taught

Course	Title	Level
CSC 015	(CS) FUNDAMENTALS OF CMP SCI I	Undergraduate
CSC 017	(CS) FUNDAMENTALS OF CSC III	Undergraduate
CSC 123	PRGRMNG LANG:DIS&IMP	Undergraduate
CSC 144L	COMPUTATIONAL PROOF THEORY	Undergraduate
CSC 175	DATA COMMUNICATNS & NETWORKING	Undergraduate
CSC 252	PROGRAMMING LANGUAGE CONCEPTS	Graduate
CSC 284	CMPTR COMM NTWK&PROC	Graduate
CSC 300	INDEPENDENT PROJECTS	Graduate