Iniciação Científica
De Wiki DAINF
(Diferença entre revisões)
(→Projetos em Andamento) |
(→= 2009.2 a 2010.1) |
||
Linha 23: | Linha 23: | ||
− | === 2009.2 a 2010.1 == | + | === 2009.2 a 2010.1 === |
* [[Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia]] - Estudante: [[Emerson Shigeo Sugimoto]]. Orientador: [[Adolfo Neto]]. Período: 08/2009 a 07/2010. | * [[Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia]] - Estudante: [[Emerson Shigeo Sugimoto]]. Orientador: [[Adolfo Neto]]. Período: 08/2009 a 07/2010. |
Edição de 16h50min de 9 de setembro de 2009
Tabela de conteúdo |
Informações
Vantagens para o aluno que faz iniciação científica
- Ter feito iniciação científica conta positivamente em seleções para mestrado/doutorado.
- Conhecer precocemente a ciência atualizada, graças ao convívio com pesquisadores experientes. O aluno ganha muito mais tempo do que se fosse aprender sozinho.
Leia também:
- A INICIAÇÃO CIENTÍFICA: muitas vantagens e poucos riscos
- Iniciação Científica: muito mais que um aprendizado
- Iniciação científica: oportunidade de capacitação, e de dinheiro extra!
Projetos em Andamento
2009.2 a 2010.1
- Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia - Estudante: Emerson Shigeo Sugimoto. Orientador: Adolfo Neto. Período: 08/2009 a 07/2010.
Anteriores
- Apropriação em Bancada Computacional (ABaCo) - Arduino, Processing e outras tecnologias
Estudante: Solano Alves de Aguiar Junior
Professor: Luiz Ernesto Merkle
- Clusters em Bioinformática - Configuração em ambiente Linux e programação em MPI
Estudante: Luís Guilherme B. Mendes
Professora: Myriam Regattieri B. S. Delgado