Zhenhao Li

I am a first year Ph.D. student in the group of Logic and Computation (LoCo) of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. My supervisor is Prof. Dr. Benedikt Löwe.

Contact

e-mail: z.li at uva.nl
telephone: +31 20 525 6519
office hour: 14:00 - 16:00 Friday
visiting address: Room C3.119, Science Park 904, 1098 XH Amsterdam, The Netherlands
postal address: ILLC, P.O. Box 94242, 1090 GE Amsterdam, The Netherlands

Interests

I am mainly interested in games in set theory and computability theory. I am trying to investigate variety of reducibility relations on certain families of games, the resulting degree structures, and the logics generated. In particular, I am interested in studying degree structures of computable games and the consequences on set theory, computability theory and complexity theory.

Curriculum Vitae

Teaching

fall 2011

- teaching assistant of Capita Selecta: Set Theory
spring 2012
- teaching assistant and tutorial lecturer of Model Theory (together with Shengyang Zhong)

- teaching assistant and tutorial lecturer of Axiomatic Set Theory (together with Shengyang Zhong)

Recent Talks

"Degrees of non-determinacy of computable games and linear logic", Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, China, January 5th , 2012.

"Blass's game semantics for linear logic without the axioms of choice", Modern Set Theory: Foundations & Applications, Ljubljana, Slovenia, 1-5 August, 2011.