I work in mathematical logic (mostly, model theory; some set theory) and its connections with other parts of mathematics. Some Philosophy of Maths also.