George Barmpalias

I do research in theoretical computer science, logic and (more recently) discrete dynamical systems.

My recent work is focused on threshold models like the Schelling model of segregation.

Research in such spacial models naturally leads to pattern recognition problems,
cellular automata, neural nets and algorithmic learning.
These areas represent direction towards my current work is moving to.

I have also worked on Kolmogrorov complexity and algorithmic randomness.
I did my PhD work on computability theory, and I continued working on this part of
logic until now. Computability (or recursion) theory is one of the four
traditional divisions of mathematical logic, and it includes my
more theoretical contributions in the theory of computation.