David Leite Viana é pós-doutorado em Morfologia Urbana/Engenharia Civil (FEUP, 2015), Doutor em Urbanismo e Ordenamento do Território (IUU-UVa, 2008), DEA em Arquitetura e Cidade Moderna (UVa, 2005) e Licenciado em Arquitetura (ESAP, 1999). É chefe da Divisão de Planeamento da Câmara Municipal de Matosinhos, investigador integrado no Centro de Investigação em Ciências da Informação, Tecnologias e Arquitetura do Iscte e investigador colaborador do Centro de Estudos de Arquitetura e Urbanismo da FAUP. Colabora ainda no Programa de Doutoramento em Arquitetura dos Territórios Metropolitanos Contemporâneos do Iscte, no Curso de Especialização em Territórios Colaborativos do IPPS-Iscte e no Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape da UPV. É research partner no Centre for Architecture, Urbanism and Global Heritage da NTU, cofundador e co-chair do International Symposium Formal Methods in Architecture, membro do Conselho Científico da Rede Lusófona de Morfologia Urbana e do Conselho Editorial da Revista de Morfologia Urbana. Foi expert evaluator na Comissão Europeia, external reviewer no Architecture and Urban Design Programme da Chalmers University of Technology, professor auxiliar e diretor do Mestrado Integrado em Arquitetura e Urbanismo da ESG, investigador principal da linha de pesquisa em Território, Ambiente e Urbanismo do CIESG, professor auxiliar e vice-diretor do Curso de Arquitetura da ESAP e diretor-secretário do Centro de Estudos Africanos da Universidade do Porto. É co-editor do livro Formal Methods in Architecture (Springer), do Special Issue Formalizing Urban Methodologies (Urban Science Journal), do livro Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing) e autor do livro Maputo: (auto)organização e forma-dinâmica urbana (Universidade do Porto Press).