If you are having any difficulty using this website, please contact the Help Desk at Help@nullHofstra.edu or 516-463-7777 or Student Access Services at SAS@nullhofstra.edu or 516-463-7075. Please identify the webpage address or URL and the specific problems you have encountered and we will address the issue.

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.

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 299 GRADUATE INTERNSHIP Graduate
CSC 300 INDEPENDENT PROJECTS Graduate
Photo of Chuck Liang

OFFICE
Adams Hall 102
VOICE
516-463-5559
Send an Email