Research covers mathematical logic and its interactions with analysis, dynamical systems and combinatorics.
