Iniciação Científica
De Wiki DAINF
(Diferença entre revisões)
(→Projetos em Andamento) |
(→Projetos em Andamento) |
||
| Linha 26: | Linha 26: | ||
* [[Clusters em Bioinformática]] - Configuração em ambiente Linux e programação em MPI <br />Estudante: Luís Guilherme B. Mendes <br />Professora: Myriam Regattieri B. S. Delgado | * [[Clusters em Bioinformática]] - Configuração em ambiente Linux e programação em MPI <br />Estudante: Luís Guilherme B. Mendes <br />Professora: Myriam Regattieri B. S. Delgado | ||
| − | * [[Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia]] - Estudante: [[Emerson Shigeo Sugimoto]]. | + | * [[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 11h11min de 3 de agosto de 2009
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
- 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
- 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.
