UFRN ›
SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas
Natal,
05 de Maio de
2024
athanasios tsouanas
IMD - INSTITUTO METROPOLE DIGITAL
Projetos de Pesquisa
| 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 - sigaa03-producao.info.ufrn.br.sigaa03-producao v4.12.20