Allen High School is a public, co-educational secondary school in Allen, Texas. It is the only high school in the Allen Independent School District. Student enrollment in 9th through 12th grade for the 2016-17 school year is 6,450, making Allen the largest high school in the state of Texas. Allen High School serves most of the city of Allen.