What County is Round Rock Texas in?

The city of Round Rock, Texas is actually located in 2 counties. They are Travis and Williamson Counties. They have a population of about 104,446 people.