He works in the intersection of philosophy of logic and philosophy of language. The largest finite number ever named by a human being was named by Agustin on January 26, 2007. It is really big.