David Leite Viana is post-doc. in Urban Morphology/Civil Engineering (FEUP, 2015), PhD in Urban and Spatial Planning (IUU-UVa, 2008), DEA in Modern City and Architecture (UVa, 2005) and Dipl. Arch. (ESAP, 1999). He is head of the Planning Division at Matosinhos Municipality, an integrated researcher at the Research Centre for Information Sciences, Technologies and Architecture at Iscte and collaborating researcher at the Centre for Architecture and Urbanism Studies at FAUP. He also collaborates in the PhD Program in Architecture of Contemporary Metropolitan Territories at Iscte, in the Specialization Course in Collaborative Territories at IPPS-Iscte and in the Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape at UPV. He is a research partner at NTU's Centre for Architecture, Urbanism and Global Heritage, co-founder and co-chair of the International Symposium Formal Methods in Architecture, member of the Scientific Council of the Lusophone Urban Morphology Network (PNUM), and of the Editorial Board of the scientific journal Revista de Morfologia Urbana. He was an expert evaluator at the European Commission, an external reviewer at the Chalmers University of Technology's Architecture and Urban Design Programme, assistant professor and director of ESG's Integrated Master in Architecture and Urbanism, principal investigator of the research field in Territory, Environment and Urbanism at CIESG, assistant professor and deputy director of the Architecture Programme at ESAP and director-secretary of the Centre for African Studies at the University of Porto. He is co-editor of the book Formal Methods in Architecture (Springer), of the special issue Formalizing Urban Methodologies (Urban Science Journal) and of the book Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing), and author of the book Maputo: (auto)organização e forma-dinâmica urbana (University of Porto Press).