|

Mini currículo
Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica do Paraná (1993), mestrado em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná (1997) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2004).
Currículo Lattes.
Áreas de interesse
Projeto, implementação e uso de linguagens de programação. Em particular, linguagens funcionais, sistemas de tipos, polimorfismo e programação orientada a objetos.
Publicações
Camarão, Carlos; Figueiredo, Lucília; Ribeiro, Rodrigo G.; Vasconcellos, Cristiano D. A Solution to Haskell's Multi-Parameter Type Class Dilemma. XIII Simpósio Brasileiro de Linguagens de Programação, Gramado, Aug, 2009.
Camarão, Carlos; Vasconcellos, Cristiano D. ; Figueiredo, Lucília; João Nicola. Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. XI Simpósio Brasileiro de Linguagens de Programação, Natal Aug 2007. Revised version in Journal of Universal Computer Science, v. 13, p. 874-890, 2007.
Inferência de Tipos com Suporte a Sobrecarga Baseada no Sistema CT.
Tese de Doutorado, UFMG, 2004.
(DOI) Camarão, Carlos; Figueiredo, Lucília; Vasconcellos, Cristiano D. Constraint-set satisfiability for Overloading. 6th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming, Verona, Aug 2004.
Vasconcellos, Cristiano; Figueiredo, Lucília; Camarão, Carlos. Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. VII Simpósio Brasileiro de Linguagens de Programação, Ouro Preto, May 2003. Revised Version in Journal of Universal Computer Science 9(8):873–890, Aug 2003.
Eberspacher, Henri F. ; Vasconcellos, Cristiano D. ; Jamur, José H.; Eleutério, Marco A. Eureka: um ambiente de aprendizagem cooperativa baseado na Web para Educação à Distância. Simpósio Brasileiro de Informática na Educação (SBIE), 1999, Curitiba, 1999.
Informações adicionais
|
|
|
Últimas notícias
08/03/2010 -
2º Prêmio Ciser de Inovação Tecnológica distribui R$ 48 mil aos melhores projetos
[mais]
05/03/2010 -
Udesc divulga lista de quarta chamada do vestibular [mais]
Avisos / Eventos
12/03 - PALESTRA PRÊMIO CISER DE INOVAÇÃO TECNOLÓGICA - 11h no Auditório do Bloco F, inscrições para o Mini-Curso será durante a apresentação.
13/03 - 16h Outorga de Grau - dos Cursos de Licenciatura em Física, Ciência da Computação e Tecnologia em Sistemas de Informação no Pavilhão Nilson Bender, Expoville
|

|