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.