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