NO, the light turned red when he was half way through it
Don’t know about other states, but here in NC if you’re over halfway through the intersection when yellow turns red, you’re OK. If you’re not, you’ve run a red light.