header
George Tsoukalas
Dottorando presso l'UT Austin interessato alla dimostrazione automatica di teoremi.