Welcome To My Homepage
Dr. Chuck C. Liang
Professor of Computer Science, Hofstra University .
Fall 2019 Classes:
CSC 15: Fundamentals of Computer Science I in Python 3
CSC 123/252: Programming Languages
Former Class Homepages:
My research interests include proof theory, higher-order programming languages, type theory, compilation and automated deduction.
Selected List of Research Papers: