bolsista |
FELIPE PERET MORAES SASDELLI |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA DE INICIAÇÃO À PESQUISA - 2º SEMESTRE |
ano |
2019 |
orientador |
RODRIGO GERALDO RIBEIRO (DECOM) |
setor |
DECOM |
linha_pesquisa |
"ESTA LINHA DE PESQUISA VISA O ESTUDO DE LÓGICAS E TÉCNICAS PARA ESPECIFICAÇÃO |
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
bolsista |
E VALIDAÇÃO FORMAL DE SOFTWARE." |
curso_bolsista |
5616 |
programa |
Aspectos computacionais da lógica proposicional: Formalização em um assistente provas da consistência da lógica proposicional. |
ano |
UFOP |
orientador |
BOLSISTA |
setor |
|
linha_pesquisa |
|
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
bolsista |
LUCAS HENRIQUE BENTO TOLEDO |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA INSTITUCIONAL DE VOLUNTÁRIOS DE INICIAÇÃO CIENTÍFICA DA UFOP - 2º SEMESTRE |
ano |
2019 |
orientador |
RODRIGO GERALDO RIBEIRO (DECOM) |
setor |
DECOM |
linha_pesquisa |
ESSA LINHA DE PESQUISA VISA O DESENVOLVIMENTO DE FORMALISMOS (SEMÂNTICA FORMAL, SISTEMAS DE TIPOS) PARA LINGUAGENS DE PROGRAMAÇÃO E SUA RESPECTIVA IMPLEMENTAÇÃO. |
id_projeto |
5203 |
título |
Sistemas de informação adaptáveis: uma abordagem usando semântica formal |
fomento |
UFOP |
tipo_bolsa |
VOLUNTÁRIO |
bolsista |
EUFRASIO JUNIO DA SILVA PEREIRA |
curso_bolsista |
SISTEMAS DE INFORMACAO |
programa |
PROGRAMA DE INICIAÇÃO À PESQUISA - 2º SEMESTRE |
ano |
2019 |
orientador |
FERNANDO BERNARDES DE OLIVEIRA (DECSI) |
setor |
DECSI |
linha_pesquisa |
#N/D |
id_projeto |
5619 |
título |
Estudo e Definição de Modelos de Computação Evolucionária para o Problema de Roteamento de Veículos com Múltiplos Depósitos |
fomento |
UFOP |
tipo_bolsa |
BOLSISTA |
bolsista |
VINICIUS DE SOUZA FIALHO GARCIA |
curso_bolsista |
ENGENHARIA DE COMPUTACAO |
programa |
PROGRAMA INSTITUCIONAL DE VOLUNTÁRIOS DE INICIAÇÃO CIENTÍFICA DA UFOP - 2º SEMESTRE |
ano |
2019 |
orientador |
FERNANDO BERNARDES DE OLIVEIRA (DECSI) |
setor |
DECSI |
linha_pesquisa |
#N/D |
id_projeto |
5403 |
título |
Séries Temporais para Predição de Finanças no contexto de Criptomoedas |
fomento |
UFOP |
tipo_bolsa |
VOLUNTÁRIO |
|
PWG – Powering Growth é um projeto para facilitar o |
Sobre nós |
Privacidade |