Maybe. He can't be claimed as a dependent on his parents' return because either they don't file or if they file 1040NR there is no dependent exemption.