Computational Logic and Applications Winter School

Dr. Fenrong Liu is University Professor in the Department of Philosophy at Tsinghua University and Amsterdam-China Logic Visiting Chair at the University of Amsterdam.

She is the Director of the Tsinghua University–University of Amsterdam Joint Research Centre for Logic. She was recognized as a Changjiang Distinguished Professor by China’s Ministry of Education. She is a Corresponding Member of the Académie Internationale de Philosophie des Sciences (AIPS).

Her academic career has included visiting professorships at Stanford University's Department of Philosophy, Harvard University's Department of Mathematics, and other esteemed institutions, as well as a Berggruen Fellow at Stanford.

Dr. Johan van Benthem is University Professor, emeritus, at the University of Amsterdam, Henry Waldgrave Stuart Professor at Stanford University (philosophy and CSLI, Logical Dynamics Lab), Jin Yuelin Professor at Tsinghua University (philosophy) and co-director of the UvA–Tsinghua Joint Research Center in logic.

He was the founding director of the Institute for Logic, Language & Computation (ILLC), Amsterdam; first chair and honorary member of the European Association for Logic, Language and Information (FoLLI). He received the Dutch national Spinoza Award for his project Logic in Action.

He is member of the Royal Dutch Academy of Arts and Sciences (KNAW), the Academia Europaea (AE), the Institut International de Philosophie (IIP), foreign member of the American Academy of Arts and Sciences (AAAS), and honorary member Academie Internationale de Philosophie des Sciences (AIPS).

Dr. Dazhu Li is Associate Professor of the Institute of Philosophy of the Chinese Academy of Sciences and Professor of the Department of Philosophy at the University of Chinese Academy of Sciences. His PhD degree was jointly awarded by the Department of Philosophy, Tsinghua University, and the Institute for Logic, Language and Computation, University of Amsterdam.