Elton Máximo Cardoso

  • Endereço para acessar este CV: http://lattes.cnpq.br/2814591013088400
  • Última atualização do currículo em 04/09/2014


Possui graduação em Ciência da Computação pela Universidade Federal de Ouro Preto(2007), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais(2010) e ensino-medio-segundo-graupelo Colégio Estadual Raul Soares(2000). Atualmente é Professor substituto. da Universidade Federal de Ouro Preto. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:tese, tipos, Haskell. (Texto gerado automaticamente pela aplicação CVLattes)


Identificação


Nome
Elton Máximo Cardoso
Nome em citações bibliográficas
CARDOSO, E. M.


Formação acadêmica/titulação


2008 - 2010
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Funções sobrecarregadas como objetos de primeira classe,Ano de Obtenção: 2010.
Orientador: Carlos Camarão de Figueiredo.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Palavras-chave: tese; tipos; Haskell.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
2004 - 2007
Graduação em Ciência da Computação.
Universidade Federal de Ouro Preto, UFOP, Brasil.
Título: Implementação de Meta-Heurísticas em Haskell.
Orientador: Lucília Camarão de Figueiredo.
1998 - 2000
Ensino Médio (2º grau).
Colégio Estadual Raul Soares.




Atuação Profissional



Universidade Federal de Ouro Preto, UFOP, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Docente, Enquadramento Funcional: Professor substituto., Carga horária: 12


Museu da Inconfidência/IPHAN, IPHAN, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: Estágio, Enquadramento Funcional: Programador, Carga horária: 20



Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.


Idiomas


Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
CARDOSO, E. M.; FIGUEIREDO, L. C. ; FIGUEIREDO, C. C. . First-class overloading via intersection type parameters. In: CBSoft/SBLP 2011 - Sipósio Brasileiro de Linguagens de Programação, 2011, São Paulo. Anais do Simpósio Brasileiro de Linguagens de Programação 2011. São Paulo, 2011. v. 1. p. 61-75.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
XV Seminário de Iniciação Científica.Implementação em Haskell de metaheurísticas para problemas de otimização. 2007. (Seminário).

2.
XIV Seminário de Iniciação Científica.Repositório web de funções genéricas. 2006. (Seminário).



Outras informações relevantes


Projeto de iniciação Científica : 
título: Um repositório Web para funções genéricas em Haskell. 
período: 2006 - 2007
Bolsa: Fapemig.

Projeto Pro-ativa: Reelaboração de material didático do curso de programação funcional.
Período: 2004 - 2005
Bolsa: Pro-ativa.




Página gerada pelo Sistema Currículo Lattes em 24/10/2018 às 1:40:45