Welcome To My Homepage
Dr. Chuck C. Liang
102 Adams Hall
Hempstead, NY 11550
Office Phone: (516 463) 5559
(<- click to send me mail)
Graduate Program Forms
As of 2020, class materials have moved to blackboard.
Spring 2020 Classes:
CSC 17: Fundamentals of Computer Science III
CSC 175/284: Data Communications and Networks
CSC 252 DL: Programming Language Concepts (blackboard)
Former Class Homepages:
Here's my current CV (pdf).
My research interests include proof theory, higher-order programming languages,
type theory, compilation and automated deduction.
Selected List of Research Papers:
The University of Oregon, my alma mater.
The University of Pennsylvania, my graduate school.
The Association for Computing Machinery.
ACM Collegiate Programming Contest
The National Science Foundation. NSF Fastlane