Welcome To My Homepage
Dr. Chuck C. Liang
102 Adams Hall
Hempstead, NY 11550
Office Phone: (516 463) 5559
(<- click to send me mail)
Fall 2014 Classes:
CSC 17: Fundamentals of Computer Science III
CSC 123/252: Programming Language Concepts
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