Welcome to my homepage.
I work in Mathematical Logic and Theoretical Computer Science.
I am a 1000 young talents scholar in the Chinese Academy of Sciences.
I have a special interest in
- Algorithmic Information and Kolmogorov Complexity
- Social Networks and Discrete Dynamical Systems
- Computability and Computational Learning
- Mathematical Logic and Models of Arithmetic
In this webpage you may find information about my work and projects.
-
Electronic Address
Orcid- News
13th Panhellenic Logic Symposium
Hayes on Schelling segregation
Code for Schelling simulations
Blog post on Schelling segregation