Hongkai Yin

Year of Enrollment: 
2019

I work on the decision problem in first-order logic.

Qualification

MA in Philosophy, Central European University, Budapest
BA in Philosophy, Renmin University of China, Beijing

Supervisor