Cheng Liao

Before joining the University of Notre Dame, I received my BA in Philosophy from Peking University and my MS in logic at the Institute for Logic, Language and Computation. My primary research interests lie in model theory and non-classical logics (e.g. modal logic and superintuitionistic logics). I am also interested in philosophical logic, normativity and Kantian theory.