From what I read he has citizenship now, but his parents brought him in illegally at age 9.

EDIT

The site also notes that the judge was born in Medellin, Columbia, and arrived in the U.S. when he was just 9 years old on a tourist visa. He remained in the country and lived undocumented for 15 years before obtaining lawful permanent resident status, the site added.

So I assume since then he's gotten full citizenship? He got PR at age 24, Daily Mail says he's 41 now so I assume in 17 yrs you can get full citizenship?

From what I read he has citizenship now, but his parents brought him in illegally at age 9.