header
George Tsoukalas
Estudiante de doctorado en UT Austin interesado en la demostración automática de teoremas.