header
George Tsoukalas
Estudante de doutorado na UT Austin interessado em prova automática de teoremas.