Trabajó en lógica constructivista; en las series de Fourier; en turbulencias y mecánica clásica.