Adolfo Neto
De Wiki DAINF
(Diferença entre revisões)
| (20 edições intermediárias de 2 usuários não apresentadas) | |||
| Linha 1: | Linha 1: | ||
| − | [[ | + | Adolfo Neto é [[Professor de Magistério Superior]] do [[Departamento de Informática]] ([[DAINF]]) da [[Universidade Tecnológica Federal do Paraná]] ([[UTFPR]]) desde 22/07/2008. Seu Curriculum Vitae (no [http://lattes.cnpq.br Lattes]) pode ser encontrado [http://lattes.cnpq.br/0071119715272492 aqui] e sua página [http://www.dainf.ct.utfpr.edu.br/~adolfo aqui]. |
| − | + | == Endereço eletrônico (''e-mail'') == | |
| + | |||
| + | adolfo (EM) utfpr.edu.br | ||
| + | |||
| + | Trocar o "(EM)" pelo símbolo "@". | ||
== Disciplinas lecionadas == | == Disciplinas lecionadas == | ||
| + | |||
| + | === 2010.1 === | ||
| + | |||
| + | * [[Lógica para Computação]] | ||
| + | * [[Matemática Discreta]] | ||
| + | * [[Teoria da Computação]] | ||
| + | * [[Metodologias Ágeis para o Desenvolvimento de Software]] | ||
| + | |||
| + | === 2009.2 === | ||
| + | |||
| + | * [[Lógica para Computação]] | ||
| + | * [[Matemática Discreta]] | ||
| + | |||
| + | === 2009.1 === | ||
| + | |||
| + | * [[Lógica para Computação]] | ||
| + | * [[Computação 2]] | ||
=== 2008.2 === | === 2008.2 === | ||
| − | * Computação 1 | + | * [[Computação 1]] |
| − | * Computação 2 | + | * [[Computação 2]] |
* Informática 1 | * Informática 1 | ||
== Pesquisa == | == Pesquisa == | ||
| − | [[Provadores de Teoremas]] | + | |
| + | '''Temas de interesse''' | ||
| + | * [[Provadores de Teoremas]] | ||
| + | |||
| + | '''Grupos de pesquisa cadastrados no CNPq''' | ||
| + | * [[Grupo de Pesquisa em Inteligência Computacional]] | ||
| + | ** [http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B Página do Grupo de Pesquisa em Inteligência Computacional no CNPq] | ||
| + | * [http://www.ime.usp.br/~liamf/ Lógica, Inteligência Artificial e Métodos Formais (LIAMF) - USP] | ||
| + | ** [http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=0067103BAO74E0 Página do LIAMF no CNPq] | ||
| + | |||
| + | '''Projetos de pesquisa''' | ||
| + | * [http://kems.iv.fapesp.br KEMS] | ||
| + | |||
| + | * [[Adolfo Neto's publications]] | ||
Edição atual tal como 16h59min de 6 de outubro de 2011
Adolfo Neto é Professor de Magistério Superior do Departamento de Informática (DAINF) da Universidade Tecnológica Federal do Paraná (UTFPR) desde 22/07/2008. Seu Curriculum Vitae (no Lattes) pode ser encontrado aqui e sua página aqui.
Tabela de conteúdo |
Endereço eletrônico (e-mail)
adolfo (EM) utfpr.edu.br
Trocar o "(EM)" pelo símbolo "@".
Disciplinas lecionadas
2010.1
- Lógica para Computação
- Matemática Discreta
- Teoria da Computação
- Metodologias Ágeis para o Desenvolvimento de Software
2009.2
2009.1
2008.2
- Computação 1
- Computação 2
- Informática 1
Pesquisa
Temas de interesse
Grupos de pesquisa cadastrados no CNPq
- Grupo de Pesquisa em Inteligência Computacional
- Lógica, Inteligência Artificial e Métodos Formais (LIAMF) - USP
Projetos de pesquisa
