Chuck Liang's Homepage

Dr. Chuck C. Liang

Associate Professor of Computer Science, Hofstra University .

Office Address:
201A Adams Hall
Hofstra University
Hempstead, NY 11550
Office Phone: (516 463) 5559
(<- click to send me mail)

Fall 2006 : On Leave

Here's my current CV.

My research interests include proof theory, higher-order programming languages, type theory, compilation and automated deduction.

Selected List of Research Papers:

Research Homepages: