Source: cirosantilli/terence-tao
= Terence Tao
{c}
{wiki}
The cool thing about Terrence Tao is that besides being a mathematical genius, he is also interested in modern technology such as <formal proof systems> and <automated theorem proving>. For that, kudos.
\Image[https://upload.wikimedia.org/wikipedia/commons/d/db/Terence_Tao%2C_PCAST_Member_%28cropped%29.jpg]
{title=Terence Tao}
{height=600}