He can't file single because he is married. The Us recognizes marriages that are legal in other countries. They can file jointly if wife gets an ITIN and she consents to be taxed in the US on her worldwide income.
The more I know the more I don’t know.
