Yijia Chen
Professor, Fudan University
Ph.D.,Universität Freiburg
Logic and complexity