Chuck C. Liang
Professor of Computer Science
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 175 | DATA COMMUNICATNS & NETWORKING | Undergraduate |
CSC 252 | PROGRAMMING LANGUAGE CONCEPTS | Graduate |
CSC 284 | CMPTR COMM NTWK&PROC | Graduate |
CSC 300 | INDEPENDENT PROJECTS | Graduate |