IMD - INSTITUTO METROPOLE DIGITAL
Projeto de Pesquisa | Área de Conhecimento | |||
---|---|---|---|---|
2021 | ||||
PIT18665-2021 | Desenvolvimento institucional do IMD 2021-2026: formação de recursos humanos, pesquisa e inovação através do empreendedorismo e inclusão digital. | Ciência da Computação | ||
2018 | ||||
PVT15865-2018 | Programação declarativa (funcional e lógica) para sistemas de gestão | Linguagens de Programação | ||
PVT15876-2018 | FORMAT: Formalização de matemática em proof assistants | Lógicas e Semântica de Programas |
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa04-producao.info.ufrn.br.sigaa04-producao v4.12.21