header
George Tsoukalas
Nghiên cứu sinh tiến sĩ tại UT Austin quan tâm đến chứng minh định lý tự động.