But this person wants to leave, and presumably he/she only has 90 days after leaving to exercise.

If he leaves now, then he'll have to exercise sometime in the next 30-90 days depending on what the terms of the ISOs are. If he doesn't, they all revert back to the company.