Iniciação Científica
De Wiki DAINF
(Diferença entre revisões)
(→Projetos em Andamento) |
(→Projetos em Andamento) |
||
| Linha 22: | Linha 22: | ||
== Projetos em Andamento == | == 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. | * [[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 <br />Estudante: Solano Alves de Aguiar Junior <br />Professor: [[Luiz Ernesto Merkle]] | ||
| + | |||
| + | * [[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 | ||
Edição de 15h50min 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
