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 2016 Classes:
CSC 15: Fundamentals of Computer Science I
CSC 123/252: Programming Languages
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