Después de una tesis en lógica matemática sus primeros trabajos fueron en teoría de campos anillos de evaluación, vectores de Witt y separabilidad en extensiones de campos infinitas.