Round Rock is a city in Travis and Williamson counties in the U.S. state of Texas. It is part of the AustinRound RockSan Marcos metropolitan area. The 2009 census estimate places the population at 105,412. Round Rock has a strong public education system. According to the 2008 ratings from the Texas Education Agency, the Round Rock Independent School District (RRISD) ranks among the best in the state. Of 42 schools within it, twelve were rated exemplary and eleven are recognized. No RRISD school received an academically unacceptable rating.