Alex Chengyu Li
Independent researcher in mathematics and computer science based in
Tokyo, Japan. M.S. Computer Engineering, New York University.
Elected Full Member of Sigma Xi, The Scientific Research Honor
Society (2026).
Research areas include formal mathematics, reproducible research,
artificial intelligence, formal verification, and AI governance.