A Tomografia por Impedância Elétrica (EIT) é uma modalidade de tomografia que busca recuperar a distribuição da condutividade dentro de um corpo a partir de medições elétricas realizadas na superfície do corpo. Nesta tese, são apresentadas duas contribuições para o EIT. A primeira é um marco teórico que unifica a formulação e análise dos modelos para a EIT. Lá, as formulações fracas dos modelos e os mapas de corrente-voltagem são generalizados, e propriedades duais que revelam a ligação entre as formulações em termos de potenciais elétricos e campos de corrente são encontradas. A segunda é a regularização de uma formulação all-at-once do problema inverso na EIT. Três problemas regularizados são formulados com base nas regularizações clássicas de Tikhonov, Ivanov e Morozov, e a existência, estabilidade e convergência de soluções regularizadas são provadas. Em ambos os desenvolvimentos, vários modelos para a EIT são admitidos e exemplos numéricos para ilustrar nossos resultados teóricos são fornecidos.Palavras-chave: tomografia por impedância elétrica, dualidade, abordagem all-at-once, modelo contínuo, modelo de electrodo completo.