A indústria de aviação civil apresenta números significativos e com forte tendência de crescimento ao longo dos anos, afetando e sendo influenciada também pelos índices econômicos regionais. A continuidade desse crescimento da aviação civil no Brasil passa pela regionalização. A regionalização da aviação gera maior procura, tanto na demanda de passageiros como no interesse das companhias aéreas, e tem o objetivo de garantir que a rede de aviação civil alcance com qualidade diferentes regiões do país. Nesse contexto, o objetivo do presente trabalho é o desenvolvimento de um modelo estratégico de regionalização, com aplicação em um estudo de caso da Agência Nacional de Aviação Civil do Brasil, visando a otimalidade da distribuição regional das agências da ANAC e de seus funcionários responsáveis pelos processos de fiscalização, através de técnicas de modelagem estocástica e programação inteira.