Mani Varadarajan

The maintainer of ramanuja.org.