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 associado 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 e métodos formais.

Informações coletadas do Lattes em 28/09/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2000 - 2004

Universidade Federal de Minas Gerais
Título: Inferência de Tipos com Suporte a Sobrecarga Baseada no Sistema CT
, Ano de obtenção: 2004. Carlos Camarão de Figueiredo. Palavras-chave: Linguagens Funcionais; Polimorfismo; Sobrecarga; Recursão Polimórfica.Grande área: Ciências Exatas e da Terra

Mestrado em Engenharia Elétrica e Informática Industrial

1994 - 1997

Universidade Tecnológica Federal do Paraná
Título: Método para Quantificação de Fiber Rising através de Análise de Imagens
Orientador: Flávio Bortolozzi
, Ano de Obtenção: 1997.Palavras-chave: processamento de imagens; análise de textura; fiber rising.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Graduação em Ciência da Computação

1989 - 1993

Pontifícia Universidade Católica do Paraná

Formação complementar

2018 - 2018

Deep Spec Summer School 2018. (Carga horária: 65h). , Princeton University, PRINCETON, Estados Unidos.

Áreas de atuação

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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: MÉTODOS FORMAIS.

Organização de eventos

Vasconcellos, Cristiano D. ; Roggia, Karina G. ; Bousfield, P. M. ; Collere, V. O. . XII Congresso Brasileiro de Software (CBSoft 2021). 2021. (Congresso).

Participação em eventos

29th ACM SIGPLAN International Conference on Functional Programming. 2024. (Congresso).

XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2024. (Simpósio).

XLIII Congresso da Sociedade Brasileira de Computação. 2023. (Congresso).

XIII Congresso Brasileiro de Software: Teoria e Prática. 2022. (Congresso).

XI Congresso Brasileiro de Software: Teoria e Prática. 2020. (Congresso).

XXII Simpósio Brasileiro de Linguagens de Programação. 2018. (Simpósio).

XX Simpósio Brasileiro de Linguagens de Programação (SBLP). 2016. (Simpósio).

Congresso Brasileiro de Software: Teoria e Prática. ICARU-FB & FBE: Um Ambiente de Desenvolvimento Aderente à Norma IEC 61499. 2015. (Congresso).

12th Brazilian Symposium on Formal Methods. 2009. (Simpósio).

Third Workshop on Languages and Tools for Parallel and Distributed Programminging. 2009. (Oficina).

XIII Simpósio Brasileiro de Linguagens de Programação. 2009. (Simpósio).

XI Simpósio Brasileiro de Linguagens de Programação. 2007. (Simpósio).

VII Simpósio Brasileiro de Linguagens de Programação.Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. 2003. (Simpósio).

III Simpósio Brasileiro de Linguagens de Programação. 1999. (Simpósio).

VII - Simpósio Brasileiro de Computação Gráfica e Processamento de Imagem. 1994. (Simpósio).

Participação em bancas

Aluno: Valmir Pretto do Amaral Júnior

Moreira, A.; Machado, R.;PEREIRA, Fernando M. Q.Vasconcellos, Cristiano; Bordini, R. H.; Schnorr, L.. Curios - a web of types. 2023. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Ariel Agne da Silveira

Ribeiro, Rodrigo;Vasconcellos, Cristiano D.; Reis, Leonardo V. S.;Roggia, Karina G.. Uma Formalização da Lógica Modal usando o Assistente de Provas Coq. 2023. Dissertação (Mestrado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Ouro Preto.

Aluno: Rodrigo Geraldo Ribeiro

Camarão, CarlosFigueiredo, LucíliaVasconcellos, Cristiano D.; Bigonha, Mariza. Programação Genérica usando Sistema CT. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Píndaro Secco Cancian

Gamba, Humberto Remigio; Schneider, Bertoldo J.;Vasconcellos, Cristiano D.. 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á.

Aluno: Elton Maximo Cardoso

Ribeiro, Rodrigo G.; Reis, Leonardo V. S.;Vasconcellos, Cristiano D.Roggia, Karina G.; FEITOSA, Sameul S.; Fortes, Reinaldo S.. A Typed Approach for Parsing Expression Grammar Termination. 2025. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Ouro Preto.

Aluno: Leandro Israel Pinto

ROSSO Jr., R. S. U.; PEREIRA, C. E.; CAMPOS, S. V. A.;Vasconcellos, Cristiano D.; BERTOL, D. W.. Um Método de Reconfiguração Dinâmica Segura e sua Aplicação em Sistemas Aderentes à IEC 61499. 2019. Tese (Doutorado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Leandro Israel Pinto

ROSSO Jr., R. S. U.; PEREIRA, C. E.; CAMPOS, S. V. A.;Vasconcellos, Cristiano D.; BERTOL, D. W.. Reconfiguração dinâmica de controle aderente à norma IEC 61499. 2017. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Cardoso, Elton M.Camarão, CarlosVasconcellos, C.. Concurso Público para Professor Assistente na área de Teoria da Computação, Linguagens de Programação e Compiladores. 2016. Universidade Federal de Ouro Preto.

Camarão, CarlosRibeiro, Rodrigo G.Vasconcellos, C.. Concurso Público para Professor Assistente na área de Teoria da Computação, Linguagens de Programação e Compiladores. 2015. Universidade Federal de Ouro Preto.

Vasconcellos, C.Figueiredo, Lucília; SA, C. C.. Concurso Público para Professor Adjunto na área de Teoria da Computação. 2015. Universidade do Estado de Santa Catarina.

Vasconcellos, Cristiano D.; SA, C. C.;Ribeiro, Rodrigo G.. Concurso Público para Professor Adjunto. Área: Teoria da Computação.. 2014. Universidade do Estado de Santa Catarina.

HOTO, R. S. V.; BARBOSA, M. A. C.;Vasconcellos, Cristiano D.. Concurso Público para Professor Assistente. Área Teoria da Computação e Complexidade.. 2012. Universidade Federal da Fronteira Sul.

Vasconcellos, Cristiano D.Figueiredo, Lucília; SA, C. C.. Concurso Público para Professor Adjunto. Área: Teoria da Computação. 2011. Universidade do Estado de Santa Catarina.

PEREIRA, Fernando M. Q.Cardoso, Elton M.Vasconcellos, Cristiano D.. Concurso Público para Professor Assistente. 2011. Universidade Federal de Ouro Preto.

Vieira, N. J.Ribeiro, Rodrigo G.Vasconcellos, Cristiano D.. Concurso Público para Professor Assistente. Àrea Teoria da Computação/Computabilidade. 2010. Universidade Federal de Ouro Preto.

Vasconcellos, Cristiano D.Camarão, CarlosDuarte, D.. Concurso Público para Professor Adjunto. Área Teoria da Computação.. 2010. Universidade do Estado de Santa Catarina.

Orientou

Gabriela Moreira

Test Generation from TLA+ Specifications; 2022; Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina, ; Coorientador: Cristiano Damiani Vasconcellos;

Leonardo Filipe Rigon

Inferência de Tipos e Efeitos por meio de Grafos Defluxo de Controle; 2019; Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Rafael Castro Gonçalves Silva

Uma Certificação em Coq do Algoritmo W Monádico; 2019; Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cristiano Damiani Vasconcellos;

Paulo Henrique Torrens

Um Cálculo de Continuações com Tipos Dependentes; 2018; Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cristiano Damiani Vasconcellos;

Adelaine Franciele Gelain

Inferência de Tipos na Presença de GADTs usando Anti-unificação; 2016; Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cristiano Damiani Vasconcellos;

Leandro Israel Pinto

Desenvolvimento da Infraestrutura de Software Aderente à IEC 61499; 2014; Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina, ; Orientador: Cristiano Damiani Vasconcellos;

Marcela Leite

Tratamento de Requisitos Não-Funcionais em Sistemas de Tempo-Real Embarcados Implementados em VHDL/FPGA; 2014; Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Cristiano Damiani Vasconcellos;

Vinícios Bidin Santos

Inferência de Tipos para CPS; 2025; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Igor Schiessl Froehner

Tradução da Forma SSA Gerada pela LLVM para Código Funcional; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Karla Alexsandra de Souza Joriatti

Interpretando Efeitos Algébricos por Meio de Mônadas; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Gabriela Moreira Mafra

Tradução Automática de Especificação Formal Modelada em TLA+ para Linguagem de Programação; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Luiz Felipe Neitzke Alves

Preprocessador para auxiliar no uso de Scrap Your Boilerplate; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

João Guilherme Packer

Interpretador para uma linguagem baseada no sistema de tipos CT; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Leandro Israel Pinto

Ambiente de Desenvolvimento para Automação e Controle; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Sílvio Ricardo Cordeiro

Otimização de alocação de registradores; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Adriano Bonat Alves

Compilando Código Funcional para Bytecodes Java; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: Cristiano Damiani Vasconcellos;

Grasiela da Silva Ferreira

Estudo do uso de TLA+ para formalização de uma ferramenta de materialização de consultas com base em streaming; 2022; Iniciação Científica - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Filipe Ramos

Prova de Propriedades de Linguagens Regulares usando Coq; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Miguel Alfredo Nunes

Prova de Propriedades de Linguagens Regulares usando Coq; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Adilson Luis Jonck Junior

Inferência de Efeitos; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Gabriela Moreira

Verificação e Inferência de Tipos na Presença de GADT; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Cristiano Damiani Vasconcellos;

Produções bibliográficas

TORRENS, PAULO ; ORCHARD, DOMINIC ; Vasconcellos, Cristiano . On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs. Proceedings Of The Acm On Programming Languages-Pacmpl , v. 8, p. 147-176, 2024.
Silva, Rafael C. G. ; Roggia, Karina G. ; Vasconcellos, Cristiano D. . Haskell Type System Analysis. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 25, p. 75, 2018.
Pinto, Leandro I. ; Vasconcellos, Cristiano D. ; ROSSO Jr., R. S. U. ; Negri, Gabriel H. . ICARU-FB: An IEC 61499 Compliant Multi-Platform Software Infrastructure.. IEEE Transactions on Industrial Informatics , v. 12, p. 1074-1083, 2016.
Camarão, Carlos ; Vasconcellos, C. ; 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.
Vasconcellos, C. ; Camarão, Carlos ; Figueiredo, Lucília . Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , Austria, v. 9, n.8, p. 873-890, 2003.
Vasconcellos, Cristiano . SBLP'22: Proceedings of the XXVI Brazilian Symposium on Programming Languages. 26. ed. , 2022.
Ribeiro, Rodrigo ; Camarão, Carlos ; Figueiredo, Lucília ; Vasconcellos, Cristiano . Optional Type Classes for Haskell. Lecture Notes in Computer Science. 0ed.: Springer International Publishing, 2016, v. 9889, p. 125-139.
Gelain, Adelaine ; Vasconcellos, Cristiano ; Camarão, Carlos ; Ribeiro, Rodrigo . Type Inference for GADTs and Anti-unification. In: Alberto Pardo; S. Doaitse Swierstra. (Org.). Lecture Notes in Computer Science. 0ed.: Springer International Publishing, 2015, v. 9325, p. 16-30.
MOREIRA, GABRIELA ; Vasconcellos, Cristiano ; KNIESS, JANINE . Fully-Tested code generation from TLA+ specifications. In: SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, 2022, Uberlandia Brazil. Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing. New York: ACM, 2022. p. 19.
RIGON, LEONARDO FILIPE ; TORRENS, PAULO ; Vasconcellos, Cristiano . Inferring types and effects via static single assignment. In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, 2020, Brno Czech Republic. Proceedings of the 35th Annual ACM Symposium on Applied Computing. New York: ACM. p. 1314.
SILVA, RAFAEL CASTRO G. ; Vasconcellos, Cristiano ; ROGGIA, KARINA GIRARDI . Monadic W in Coq. In: SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020, Natal Brazil. Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity. New York: ACM. p. 25.
MOREIRA, GABRIELA ; Vasconcellos, Cristiano ; Ribeiro, Rodrigo . Type inference for GADTs, outsidein and anti-unification. In: the XXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18, 2018. p. 51.
Silva, Rafael C. G. ; Roggia, Karina G. ; Vasconcellos, C. . Análise do Sistema de Tipos de Haskell. In: IV Workshop-Escola de Informática Teórica (WEIT 2017), 2017, Santa Maria. Anais do IV Workshop - Escola de Informática Teórica, 2017. p. 196-203.
LEITE, MARCELA ; Vasconcellos, Cristiano D. ; WEHRMEISTER, MARCO AURELIO . Enhancing automatic generation of VHDL descriptions from UML/MARTE models. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014, Porto Alegre RS. 2014 12th IEEE International Conference on Industrial Informatics (INDIN). p. 152-157.
PINTO, L. I. ; LEITE, M. ; Vasconcellos, C. ; WEHRMEISTER, M. A. . Roteamento em Projeto de Circuitos: uma solução com Colônia de Formigas. In: XXI Seminário de Computação, 2012, Blumenau. Anais do XXI SEMINCO, 2012.
FOUTO, M. ; Balestrin, G. ; da Silva Hounsell, M. ; Vasconcellos, C. . VirBASE: Uma Linguagem Para Programação de Robôs. In: X Simpósio Brasileiro de Automação Inteligente, 2011, São João Del Rei, MG. Anais do X Simpósio Brasileiro de Automação Inteligente, 2011. p. 1364-1369.
Camarão, Carlos ; Figueiredo, Lucília ; Ribeiro, Rodrigo G. ; Vasconcellos, C. . 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.
Camarão, Carlos ; Vasconcellos, C. ; 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.
Camarão, Carlos ; Figueiredo, Lucília ; Vasconcellos, C. . 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. p. 67-77.
Vasconcellos, C. ; 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.
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.
TORRENS, PAULO ; Vasconcellos, Cristiano ; GONÇALVES, JUNIA . A hybrid intermediate language between SSA and CPS. In: the 21st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 21st Brazilian Symposium on Programming Languages - SBLP 2017. New York: ACM Press, 2017. p. 1.
Pinto, Leandro I. ; Vasconcellos, Cristiano D. ; ROSSO Jr., R. S. U. ; Harbs, Eduardo ; Negri, Gabriel H. . ICARU-FB & FBE: Um Ambiente de Desenvolvimento Aderente à Norma IEC 61499. In: Congresso Brasileiro de Software: Teoria e Prática (Seção de Ferramentas), 2015, Belo Horizonte. Anais do Congresso Brasileiro de Software: Teoria e Prática, 2015.
Roggia, Karina G. ; Ribeiro, Rodrigo ; Vasconcellos, Cristiano D. . O Uso de Assistente de Provas no Ensino de Lógica. In: Simpósio Brasileiro de Educação em Computação, 2021, Jataí. Anais Estendidos do Simpósio Brasileiro de Educação em Computação, 2021.

Outras produções

Vasconcellos, Cristiano D. . Consultor ad-hoc para chamada pública FAPESC/CNPQ Nº 06/2016 apoio a infraestrutura de CTI para jovens pesquisadores.. 2017.

Pinto, Leandro I. ; Vasconcellos, Cristiano D. ; ROSSO Jr., R. S. U. . ICARU-FB. 2014.

Vasconcellos, Cristiano D. ; Camarão, Carlos ; Figueiredo, Lucília . Sistema CT. 2004.

Vasconcellos, Cristiano . Membro do Comitê de Programa do XXIX Simpósio Brasileiro de Linguagens de Programação (SBLP). 2025.

Vasconcellos, Cristiano . Membro do Comitê de Programa do XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2024.

Vasconcellos, Cristiano . Membro do Comitê de Programa do Concurso de Teses e Dissertações do Congresso da Sociedade Brasileira de Computação (CTD 2024). 2024.

Vasconcellos, Cristiano . Coordenador da Comissão Especial de Linguagens de Programação da Sociedade Brasileira de Computação. 2023.

Vasconcellos, Cristiano . Membro do Comitê de Programa do XXVII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2023.

Vasconcellos, Cristiano D. . Chair do comitê de programa do XXVI Simpósio Brasileiro de Linguagens de Programação (SBLP). 2022.

Vasconcellos, C. . Membro do Comitê de Programa do XXV Simpósio Brasileiro de Linguagens de Programação (SBLP). 2021.

Vasconcellos, C. . Membro do Comitê de Programa do XXIV Simpósio Brasileiro de Linguagens de Programação (SBLP). 2020.

Vasconcellos, C. . Membro do Comitê de Programa do XXIII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2019.

Vasconcellos, C. . Revisão para a Revista de Informática Teórica e Aplicada (RITA). 2018.

Vasconcellos, C. . Membro do Comitê de Programa do XXII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2018.

Vasconcellos, C. . Revisão para o XXXV - Concurso de Trabalhos de Iniciação Ciêntifica (CSBC-CTIC). 2016.

Vasconcellos, C. . Membro do Comitê de Programa do Computer on the Beach. 2015.

Vasconcellos, C. . Membro do Comitê de Programa do XIV Simpósio Brasileiro de Linguagens de Programação (SBLP). 2010.

Vasconcellos, C. . Membro do Comitê de Programa do Fourth Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2010). 2010.

Vasconcellos, C. . Membro do Comitê de Programa do XIII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2009.

Vasconcellos, C. . Membro do Comitê de Programa da XXXV Conferência Latino Americana de Informática (CLEI). 2009.

Vasconcellos, C. . Membro do Comitê de Programa do Third Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2009). 2009.

Vasconcellos, C. . Membro do Comitê de Programa do XII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2008.

Vasconcellos, C. . Revisor da VIII Escola Regional de Alto Desempenho (ERAD). 2008.

Vasconcellos, C. . Second Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2008). 2008.

Vasconcellos, C. . Revisor do XI Simpósio Brasileiro de Linguagens de Programação (SBLP). 2007.

Vasconcellos, C. . Revisor do Workshop de Software Livre (WSL 2007). 2007.

Vasconcellos, C. . Membro do Comitê de Programa do First Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2007). 2007.

Vasconcellos, Cristiano D. . Elaboração de Itens ENADE 2021 (BNI - Edital 03/2020 - Ciência da Comoutação). 2020. (Elaboração de Itens).

Vasconcellos, Cristiano D. . Elaboração de Itens ENADE 2017 (BNI - Edital 16/2017 - Ciência da Comoutação). 2017. (Elaboração de Itens).

Projetos de pesquisa

2017 - 2020

Sistemas de Tipos para Linguagens de Programação, Descrição: O uso de tipos em linguagens de programação tem objetivos diversos, como a detecção de erros, a definição de abstrações, a otimização do código gerado e a documentação de programas. Também existem linguagens recentes, como por exemplo Agda e Idris, que foram projetadas com sistemas de tipos dependentes que permitem a verificação de propriedades do programa e em alguns casos podem garantir que um programa sempre termina. Linguagens que adotam a verificação de tipos em tempo de compilação são classificadas como linguagens com tipagem estática, por exemplo Haskell, SML e C. Enquanto linguagens com tipagem dinâmica abrem mão dessa verificação de tipos em tempo de compilação, visando maior flexibilidade na codificação. Como, por exemplo, LISP, Scheme e Python. O custo dessa flexibilidade é um processo de depuração mais demorado, uma vez que erros de tipos são detectados apenas em tempo de execução, e velocidade de execução muito inferior, pois as possibilidades de otimizações são extremamente reduzidas e existe o overhead associado a verificação de tipos durante a execução. O objetivo desse projeto é investigar e propor extensões à sistemas de tipos que permitam maior flexibilidade as linguagens com tipagem estática, aproximando da flexibilidade encontrada nas linguagens com tipagem dinâmica, sem abrir mão da segurança que a tipagem estática proporciona. Permitindo uma codificação de programas mais concisa e códigos genéricos, que aceitem dados de vários tipos. Um objetivo secundário é estudar o uso de linguagens com tipos dependentes para provar as propriedades dos algoritmos de verificação ou inferência de tipos propostos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) . , Integrantes: Cristiano Damiani Vasconcellos - Coordenador / Gabriela Moreira - Integrante / Teodoro Alberto Borges Junior - Integrante / Rafael Castro Gonçalves Silva - Integrante / Leonardo Filipe Rigon - Integrante / Paulo Torrens - Integrante / Filipe Ramos - Integrante., Número de produções C, T & A: 7
2014 - 2016

Programação Genérica em Haskell, Descrição: Programação Genérica consiste em uma extensão da programação baseada no polimorfismo universal, presente em linguagens modernas, como SML, Haskell, C++ e Java. Essa extensão permite a definição de funções que funcionam não só para tipos de dados distintos, mas também para coleções de dados distintas, como árvores, listas, tabelas, grafos, etc. Esse recurso pode contribuir para aumentar a produtividade no desenvolvimento de programas e para tornar mais fácil sua manutenção. Um dos objetivos da programação genérica é eliminar a necessidade de implementação de código para travessia em estruturas de dados que representam coleções, permitindo que o programador se concentre apenas no código necessário para manipular o dado desejado. Embora já existam várias abordagens, a programação genérica ainda não é adotada em larga escala, em grande parte por limitações nas ferramentas propostas e as dificuldades em sua utilização. O objetivo desse projeto é estudar as abordagens para programação genérica atualmente disponíveis, e explorar as novas características incorporadas ao sistema de tipos da linguagem Haskell para implementar um biblioteca de combinadores que torne mais amigável esse estilo de programação.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Cristiano Damiani Vasconcellos - Coordenador / Adelaine Franciele Gelain - Integrante., Número de produções C, T & A: 1

Histórico profissional

Endereço profissional

Universidade do Estado de Santa Catarina, Centro de Ciências Tecnológicas. , Campus Universitário, 200, Bom Retiro, 89223100 - Joinville, SC - Brasil, Telefone: (47) 34817893, URL da Homepage:

Experiência profissional

2019 - Atual

Universidade do Estado de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

2009 - 2019

Universidade do Estado de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2021
Conselhos, Comissões e Consultoria, Centro de Ciências Tecnológicas, Departamento de Ciência da Computação.Cargo ou função, Membro do Núcleo Docente Estruturante (NDE).
02/2012
Pesquisa e desenvolvimento, Centro de Ciências Tecnológicas, Departamento de Ciência da Computação.Linhas de pesquisa
02/2009
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores, Linguagens Funcionais, Métodos Formais, Paradigmas de Programação, Teoria da Computação, Complexidade de Algoritmos
08/2023 - 07/2025
Conselhos, Comissões e Consultoria, Conselhos Superiores, CONSUNI.Cargo ou função, Membro do Conselho Universitário (CONSUNI).
03/2012 - 12/2020
Ensino, Computação Aplicada, Nível: Pós-GraduaçãoDisciplinas ministradas, Projeto e Análise de Algoritmos, Sistemas de Tipos Para Linguagens de Programação
02/2013 - 07/2019
Conselhos, Comissões e Consultoria, Centro de Ciências Tecnológicas.Cargo ou função, Membro do colegiado do Programa de Pós-Graduação em Computação Aplicada.
01/2016 - 02/2017
Conselhos, Comissões e Consultoria, Centro de Ciências Tecnológicas.Cargo ou função, Membro da Comissão de Ensino de Graduação.
08/2013 - 08/2016
Conselhos, Comissões e Consultoria, Centro de Ciências Tecnológicas, Departamento de Ciência da Computação.Cargo ou função, Membro do Núcleo Docente Estruturante (NDE).
04/2014 - 04/2016
Conselhos, Comissões e Consultoria, Conselhos Superiores, CONSEPE.Cargo ou função, Conselheiro.
10/2011 - 10/2013
Conselhos, Comissões e Consultoria, Conselhos Superiores, CONSUNI.Cargo ou função, Conselheiro.
02/2009 - 07/2009
Ensino, Tecnologia em Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Estrutura de Dados II

2006 - 2009

Universidade Federal de Pelotas

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çãoDisciplinas ministradas, Compiladores, Conceitos de Linguagens de Programação, Programação de Computadores

1995 - 2006

Pontifícia Universidade Católica do Paraná

Vínculo: Professor, Enquadramento Funcional: Professor Assistente, Carga horária: 40

Atividades

02/2005 - 08/2006
Ensino, Informática, Nível: Pós-GraduaçãoDisciplinas ministradas, Fundamentos de Computabilidade, Paradigmas de Programação
05/1995 - 08/2006
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores, Matemática Discreta, Programação de Computadores, Semântica Formal
09/1998 - 09/1999
Pesquisa e desenvolvimento, Lami - Laboratório de Mídias Interativas.Linhas de pesquisa
07/1997 - 09/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.