Rede de Colaboração
Diretório de grupos de pesquisa |
Cristiano Damiani Vasconcellos 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). Atualmente é professor adjunto da Universidade do Estado de Santa Catarina. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, atuando principalmente nos seguintes temas: Projeto, implementação e uso de linguagens de programação. Em particular, linguagens funcionais, sistemas de tipos, polimorfismo e programação orientada a objetos.
Última
atualização do currículo em 07/06/2010
Endereço para acessar este CV: http://lattes.cnpq.br/7291640788372419 |
Dados pessoais
| Nome | Cristiano Damiani Vasconcellos |
| Nome em citações bibliográficas | Vasconcellos, Cristiano D.; Cristiano Vasconcellos; Vasconcellos, C. |
| Sexo | Masculino |
| Endereço profissional | Universidade do Estado de Santa Catarina. Campus Universitário, s/nº Bom Retiro 89223-100 - Joinville, SC - Brasil Telefone: (47) 40097990 URL da Homepage: http://www.joinville.udesc.br/portal/professores/damiani/ |
Formação acadêmica/Titulação
| 2000 - 2004 | Doutorado em Ciências da Computação
.
Universidade Federal de Minas Gerais, UFMG, Brasil. Título: Inferência de Tipos com Suporte a Sobrecarga Baseada no Sistema CT, Ano de Obtenção: 2004. Orientador:  Carlos Camarão de Figueiredo.
Palavras-chave: Linguagens Funcionais; Polimorfismo; Sobrecarga; Recursão Polimórfica. 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. |
| 1994 - 1997 | Mestrado em Engenharia Elétrica e Informática Industrial
.
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil. Título: Método para Quantificação de Fiber Rising através de Análise de Imagens, Ano de Obtenção: 1997. Orientador: Flávio Bortolozzi. Palavras-chave: processamento de imagens; análise de textura; fiber rising. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Processamento Gráfico (Graphics). Setores de atividade: Informática. |
| 1989 - 1993 | Graduação em Ciência da Computação
.
Pontifícia Universidade Católica do Paraná, PUC-PR, Brasil. |
Atuação profissional
| Universidade do Estado de Santa Catarina, UDESC, Brasil. |
| Vínculo institucional |
| 2009 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40 |
| Atividades |
| 02/2009 - Atual | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Compiladores Linguagens Funcionais Teoria da Computação |
| 02/2009 - 07/2009 | Ensino, Tecnologia em Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Estrutura de Dados II |
| Universidade Federal de Pelotas, UFPEL, Brasil. |
| Vínculo institucional |
| 2006 - 2009 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 12/2006 - 02/2009 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Compiladores Conceitos de Linguagens de Programação Programação de Computadores |
| Universidade Federal de Minas Gerais, UFMG, Brasil. |
| Vínculo institucional |
| 2000 - 2004 | Vínculo: Aluno de Pós-Graduação, Enquadramento Funcional: , Carga horária: 0 |
| Atividades |
| 3/2000 - 10/2004 | Pesquisa e desenvolvimento , Departamento de Ciência da Computaçãp, Laboratório de Linguagens de Programação. |
|
Linhas de pesquisa Linguagens de Programação Linguagens Funcionais Sistemas de Tipos |
| Pontifícia Universidade Católica do Paraná, PUC-PR, Brasil. |
| Vínculo institucional |
| 1995 - 2006 | Vínculo: Professor, Enquadramento Funcional: Professor Assistente, Carga horária: 40 |
| Atividades |
| 2/2005 - 08/2006 | Ensino, Informática, Nível: Pós-Graduação. |
| Disciplinas ministradas Fundamentos de Computabilidade Paradigmas de Programação |
| 5/1995 - 8/2006 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Compiladores Matemática Discreta Programação de Computadores |
| 9/1998 - 9/1999 | Pesquisa e desenvolvimento , Centro de Ciências Exatas e de Tecnologia, Lami Laboratório de Mídias Interativas. |
|
Linhas de pesquisa Ensino a distância Ambientes cooperativos |
| 7/1997 - 9/1998 | Direção e administração, Centro de Ciências Exatas e de Tecnologia, Rede de Informática Para Ensino e Pesquisa. |
| Cargo ou função Análista de Rede. |
Á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. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   Camarão, Carlos ; Vasconcellos, Cristiano D. ; Figueiredo, Lucília ; João Nicola . Open and closed worlds for overloading: a definition and support for coexistence (revised version). Journal of Universal Computer Science (Online) , v. 13, p. 874-890, 2007. |
| 2. | Vasconcellos, Cristiano D. ; Camarão, Carlos ; Figueiredo, Lucília . Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. Journal of Universal Computer Science (Online), Austria, v. 9, n. 8, p. 873-890, 2003. |
| Trabalhos completos publicados em anais de congressos |
| 1. | Camarão, Carlos ; Figueiredo, Lucília ; Ribeiro, Rodrigo G. ; Vasconcellos, Cristiano D. . A Solution to Haskell's Multi-Parameter Type Class Dilemma. In: XIII Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado.
Anais do SBLP, 2009. |
| 2. | Camarão, Carlos ; Vasconcellos, Cristiano D. ; Figueiredo, Lucília ; João Nicola . Open and closed worlds for overloading: a definition and support for coexistence. In: XI Simpósio Brasileiro de Linguagens de Programação, 2007, Natal. Anais do SBLP 2007, 2007. |
| 3. | Camarão, Carlos ; Figueiredo, Lucília ; Vasconcellos, Cristiano D. . Constraint-set satisfiability for Overloading. In: 6th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming (PPDP'04), 2004, Verona.
ACM Conference Proceedings on Principles and Practice of Declarative Programming, 2004. |
| 4. | Vasconcellos, Cristiano D. ; Camarão, Carlos ; Figueiredo, Lucília . Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. In: VII Simpósio Brasileiro de Linguagens de Programação, 2003, Ouro Preto. Anais do SBLP, 2003. p. 166-179. |
| 5. | Vasconcellos, Cristiano D. ; Eberspacher, Henri F. ; Jamur, José H. ; Eleuterio, Marco A. . Eureka: um ambiente de aprendizagem cooperativa baseado na Web para Educação à Distância.. In: Simpósio Brasileiro de Informática na Educação (SBIE), 1999, Curitiba, 1999. |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | Vasconcellos, Cristiano D. ; Camarão, Carlos ; Figueiredo, Lucília . Sistema CT. 2004. |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | Camarão, Carlos; Figueiredo, Lucília; Vasconcellos, Cristiano D.; Bigonha, Mariza. Participação em banca de Rodrigo Geraldo Ribeiro. Programação Genérica usando Sistema CT. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais. |
| 2. | Gamba, Humberto Remigio; Schneider, Bertoldo J.; Vasconcellos, Cristiano D.. Participação em banca de Píndaro Secco Cancian. Proposta de um Sistema de Prontuário Eletrônico. 2006. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | Vieira, N. J.; Ribeiro, Rodrigo G.; Cristiano Vasconcellos. Concurso Público para Professor Assistente. 2010. Universidade Federal de Ouro Preto. |
| 2. | Cristiano Vasconcellos; Camarão, Carlos; Duarte, D.. Concurso Público para Professor Adjunto. 2010. Universidade do Estado de Santa Catarina. |
Eventos
| Participação em eventos |
| 1. | XIII Simpósio Brasileiro de Linguages de Programação.Membro do comitê de programa. 2009. (Simpósio). |
| 2. | XII Simpósio Brasileiro de Linguages de Programação.Membro do comitê de programa. 2008. (Simpósio). |
| 3. | Second Workshop on Languages and Tools for Parallel and Distributed Programming.Membro do Comitê de Programa. 2008. (Oficina). |
| 4. | VIII Escola Regional de Alto Desempenho.Revisor. 2008. (Outra). |
| 5. | XI Simpósio Brasileiro de Linguagens de Programação.Revisor. 2007. (Simpósio). |
| 6. | Workshop de Software Livre (WSL 2007).Revisor. 2007. (Outra). |
| 7. | First Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2007).Membro do comitê de programa. 2007. (Outra). |
| 8. | VII Simpósio Brasileiro de Linguagens de Programação.Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. 2003. (Simpósio). |
| 9. | III Simpósio Brasileiro de Linguagens de Programação. 1999. (Simpósio). |
| Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 7:17:43 |