header
George Tsoukalas
PhD student at UT Austin interested in automatic theorem proving.