header
George Tsoukalas
Promovendus aan de UT Austin geïnteresseerd in het bewijzen van automatische stellingen.