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.

Projeto, implementação e uso de linguagens de programação. Em particular, linguagens funcionais, sistemas de tipos, polimorfismo e programação orientada a objetos.

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.

Projetos:

Sistema CT.

Inferência de Tipos na Presença de Recursão Polimórfica.

Grupo de Pesquisa:

Laboratório de Linguagens de Programação (UFMG).

Conferências:

Membro do Comitê de Programa do LTPD 2007, SBLP 2008, LTPD 2008, SBLP 2009, LTPD 2009 e CLEI 2009.