Il étudie dans sa thèse de doctorat le nombre de modèles dénombrables dans la théorie des modèles et ensuite, sous l'influence de l'école parisienne de la théorie des modèles il s'intéresse à la théorie de la stabilité. Plus tard, il travaille sur les applications de la théorie des modèles dans d'autres domaines des mathématiques (variétés et groupes de Nash, théorie algébriques des équations différentielles et algèbre différentielle, classification des compactes complexes, géométrie diophantienne).
Il est membre de la Korean Association for Mathematical Logic, depuis 2016, lauréat de l'Asian Logic Conference, à Mumbai en 2015 ; membre de la Société mathématique du Canada depuis 2003[3].
Publications
« Geometric Stability Theory », Oxford University Press 1996
« An introduction to stability theory », Oxford, Clarendon Press 1983, Dover 2008
avec David Marker, M. Messmer: « Model theory of fields », Springer 1996
avec Deidre Haskell, Charles Steinhorn (éd): « Model theory, algebra and geometry », Cambridge University Press 2000