Eytan Avigad, Undergraduate student