His research is in the area of logic/foundation. He is also interested in geometry and used to be involved in programming geometric objects and surfaces (like the ones displayed on the UCI math website).