Maintainer of the TPTP collection, an organizer of the CADE annual contest.
TPTP collection の管理人、CADE コンテストの主催者。