Carlos Camarão de Figueiredo

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


Formado em Engenharia Mecânica pela Universidade Federal de Minas Gerais (1981), tem Mestrado em Ciência da Computação também pela UFMG e PhD em Computer Science pela University of Manchester (1994). Atualmente é professor associado da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: linguagens de programação, sistemas de tipos, inferência de tipos, programação funcional e satisfazibilidade em logica proposicional. Produção intelectual: 11 artigos completos publicados em periódicos, 2 livros publicados, sendo 1 deles organizado como edição de anais do Simpósio Brasileiro de Linguagens de Programação e o outro em co-autoria com Lucília Figueiredo, publicado pela LTC (2003), 7 capitulos de livro internacional, 2 traduções de livros do inglês para o português 25 artigos publicados em anais de congressos internacionais e nacionais. (Texto informado pelo autor)


Identificação


Nome
Carlos Camarão de Figueiredo
Nome em citações bibliográficas
Camarão, Carlos;CAMARÃO, CARLOS

Endereço


Endereço Profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Avenida Antôtnio Carlos, 6627
Pampulha
31270010 - Belo Horizonte, MG - Brasil
Telefone: (031) 34095889
Fax: (031) 34095858
URL da Homepage: http://www.dcc.ufmg.br/~camarao


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


1990 - 1994
Doutorado em PhD in Computer Science.
University of Manchester, MANCHESTER, Inglaterra.
Título: A Proof System for an Object-based Language, Ano de obtenção: 1994.
Orientador: Cliff Jones.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1986 - 1987
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Geração de Código em um Compilador CHILL,Ano de Obtenção: 1987.
Orientador: Roberto da Silva Bigonha.
Palavras-chave: Geração de código; Linguagens de Programação.
1977 - 1981
Graduação em Engenharia Mecânica.
Universidade Federal de Minas Gerais, UFMG, Brasil.




Atuação Profissional



Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: , Enquadramento Funcional:


Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

1995 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Atividades

1995 - Atual
Pesquisa e desenvolvimento , Universidade Federal de Minas Gerais, .

1995 - Atual
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Sistemas de Tipos
Programação Funcional
1995 - Atual
Ensino,

Disciplinas ministradas
Algoritmos e Estrututras de Dados I
Fundamentos da Teoria da Computação
Linguagens de Programação
Matemática Discreta
Programação de Computadores
Programação Funcional
Programação Orientada por Objetos

Fundação Centro de Pesquisa e Desenvolvimento em Telecomunicações, CPqD, Brasil.
Vínculo institucional

1983 - 1995
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Pesquisador de Telecomunicações, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

1983 - 1995
Pesquisa e desenvolvimento , CPqD Telebrás, .



Linhas de pesquisa


1.
Desenvolvimento de um compilador CHILL usado no CPqD-Telebrás para desenvolvimento de aplicações distribuídas e de tempo real (como a central Trópico/RA)
2.
Satisfazibilidade na lógica proposicional
3.
Programação genérica
4.
Polimorfismo de sobrecarga
5.
Inferência de Tipos
6.
Sistemas de Tipos


Projetos de pesquisa


2008 - 2010
CGCI CAFP-BA 004/2008
Descrição: Projeto de cooperação científica entre a UFMG e Universidad Nacional de San Luis (UNSL), por intermédio respectiamente do Departamento de Ciência da Computação da UFMG (entidade promotora) e do Mestrado en Ingenieria de Software de la UNSL (entidade receptora)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .
Integrantes: Carlos Camarão de Figueiredo - Coordenador.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
2005 - 2009
ALFA LerNET
Descrição: LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer Science, formed under the auspices of the European Comission ALFA Programme (Latin America Academic Training) programme..
Situação: Em andamento; Natureza: Pesquisa.


Outros Projetos


2014 - Atual
PIQEG 2014
Descrição: O projeto visa oferecer suporte para o que está se configurando como uma tendência muito forte em educação nos dias atuais: Cursos Disponíveis na Internet (CDIs). Atualmente, várias universidades de primeira linha em centros influentes ao redor do mundo criaram ou estão criando CDIs (do inglês, MOOC) com suporte total ou parcial via internet. Atividades realizadas via Internet são um aspecto central a ser considerado no modo como universidades deverão programar seus cursos no futuro. Objetivos Gerais: Desenvolver uma plataforma de ensino para criação de cursos disponíveis na Internet para aplicação em cursos oferecidos pela Universidade Federal de Minas Gerais. A plataforma irá incluir material didático como aulas em vídeos e exercícios que podem ser corrigidos automaticamente. Objetivos Específicos - Obter integração com o Moodle para permitir correção automática de exercícios já disponíveis neste ambiente. - Facilitar a entrada de novos exercícios na plataforma pelos professores. - Melhorar a qualidade das aulas em vídeos criadas no primeiro ano do projeto, bem como desenvolver novas vídeo-aulas. - Avaliar a plataforma em estudos pilotos realizados em disciplinas do Departamento de Ciência da Computação..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (5) .
Integrantes: Carlos Camarão de Figueiredo - Integrante / Eduardo Magno Lages Figueiredo - Coordenador / Osvaldo Sérgio Farhat de Carvalho - Integrante / Eduardo Chaves Faria - Integrante.Financiador(es): Pró-Reitoria de Graduação da UFMG - Bolsa.Número de orientações: 2
2013 - 2013
PIQEG 2013
Descrição: Desenvolver material de suporte a criação de Cursos Disponíveis na Internet com exercícios corrigidos automaticamente, para aplicação em cursos oferecidos em disciplinas na Universidade Federal de Minas Gerais, para avaliação do processo de aprendizagem nesses cursos..
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (4) .
Integrantes: Carlos Camarão de Figueiredo - Coordenador / Eduardo Magno Lages Figueiredo - Integrante / Osvaldo Sérgio Farhat de Carvalho - Integrante.Financiador(es): Universidade Federal de Minas Gerais - Auxílio financeiro.Número de orientações: 1


Membro de corpo editorial


2008 - 2008
Periódico: Lecture Notes in Computer Science


Revisor de periódico


2017 - 2017
Periódico: SCIENCE OF COMPUTER PROGRAMMING
2017 - Atual
Periódico: SCIENCE OF COMPUTER PROGRAMMING


Revisor de projeto de fomento


2014 - Atual
Agência de fomento: Netherlands Organisation for Scientific Research
2013 - 2013
Agência de fomento: Fundação para a Ciência e a Tecnologia
2012 - 2012
Agência de fomento: Fundação para a Ciência e a Tecnologia


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.


Idiomas


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


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:2
Total de citações:3
Camarao, C  Data: 07/11/2007

Artigos completos publicados em periódicos

1.
1CAMARÃO, CARLOS2016 CAMARÃO, CARLOS; FIGUEIREDO, LUCÍLIA ; Ribeiro, Rodrigo . Ambiguity and constrained polymorphism. SCIENCE OF COMPUTER PROGRAMMING, v. 124, p. 1-19, 2016.

2.
4Ribeiro, Rodrigo2013Ribeiro, Rodrigo ; CAMARÃO, CARLOS ; FIGUEIREDO, LUCÍLIA . Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. Journal of The Brazilian Computer Society (Online), v. 19, p. 423-432, 2013.

3.
3Ribeiro, Rodrigo2013Ribeiro, Rodrigo ; FIGUEIREDO, LUCÍLIA ; CAMARÃO, CARLOS . Mechanized metatheory for a $$lambda $$ λ -calculus with trust types. Journal of the Brazilian Computer Society (Impresso), v. 19, p. 433-443, 2013.

4.
2Ribeiro, Rodrigo2013 Ribeiro, Rodrigo ; CAMARÃO, CARLOS . Ambiguity and context-dependent overloading. Journal of The Brazilian Computer Society (Online), v. 19, p. 313-324, 2013.

5.
5Camarão, Carlos;CAMARÃO, CARLOS2007Camarão, Carlos; Cristiano Vasconcelos ; FIGUEIREDO, L. ; João Nicola . Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. Journal of Universal Computer Science (Print), v. 13, p. 854-873, 2007.

6.
6Camarão, Carlos;CAMARÃO, CARLOS2003Camarão, Carlos; FIGUEIREDO, L. ; Hermann Rodrigues . Mímico: a monadic combinator parser generator. Journal of the Brazilian Computer Society (Impresso), v. 9, n.1, p. 27-40, 2003.

7.
7Camarão, Carlos;CAMARÃO, CARLOS2003Camarão, Carlos; Cristiano Vasconcelos ; FIGUEIREDO, L. . Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. Journal of Universal Computer Science, http://www.jucs.org/jucs_9_8, v. 9, n.8, p. 873-890, 2003.

8.
8Camarão, Carlos;CAMARÃO, CARLOS2002Camarão, Carlos; FIGUEIREDO, L. . A View on Modular and Extensible Types. Revista Colombiana de Computacion, Bucaramanga, Colômbia, v. 3, n.1, p. 21-40, 2002.

9.
9Camarão, Carlos;CAMARÃO, CARLOS1999Camarão, Carlos; FIGUEIREDO, L. . Type Inference for Overloading without Restrictions, Declarations or Annotations. Lecture Notes in Computer Science, v. 1722, p. 37-52, 1999.

10.
11Camarão, Carlos;CAMARÃO, CARLOS1998Camarão, Carlos; FIGUEIREDO, L. . Towards Higher-Order Types. Eletronic Notes in Theoretical Computer Science, v. 14, 1998.

11.
10Camarão, Carlos;CAMARÃO, CARLOS1998Camarão, Carlos; FIGUEIREDO, L. . A Type System for Overloading. Eletronic Notes in Theoretical Computer Science, elsevier.nl/locate/entcs/volum, v. 14, 1998.

Livros publicados/organizados ou edições
1.
Camarão, Carlos; FIGUEIREDO, L. . Programação de Computadores em Java. 1. ed. Rio de Janeiro: LTC (Livros Técnicos e Científicos Ltda.), 2003. v. 1. 350p .

2.
Camarão, Carlos; Hermann Haeusler (Org.) ; Alex Garcia (Org.) ; Renato Cerqueira (Org.) . Anais do VI Simpósio Brasileiro de Linguagens de Programação. Rio de Janeiro: Sociedade Brasileira de Computação, 2002. v. 1. 323p .

Capítulos de livros publicados
1.
Ribeiro, Rodrigo ; CAMARÃO, CARLOS ; FIGUEIREDO, LUCÍLIA ; Vasconcellos, Cristiano . Optional Type Classes for Haskell. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 9889, p. 125-139.

2.
Ribeiro, Rodrigo ; CAMARÃO, CARLOS . A Mechanized Textbook Proof of a Type Unification Algorithm. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 9526, p. 127-141.

3.
Lopes, Raul ; Ribeiro, Rodrigo ; CAMARÃO, CARLOS . Certified Derivative-Based Parsing of Regular Expressions. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 9889, p. 95-109.

4.
Gelain, Adelaine ; Vasconcellos, Cristiano ; CAMARÃO, CARLOS ; Ribeiro, Rodrigo . Type Inference for GADTs and Anti-unification. In: Alberto Pardo, S. Doaitse Swierstra (Eds.). (Org.). Lecture Notes in Computer Science. 1ed.Nova Iorque: Springer International Publishing, 2015, v. 9325, p. 16-30.

5.
Camarão, Carlos; Mateus Galvão ; Newton Vieira . SAT and Planning: an Overview. In: Barin Nag. (Org.). Intelligent Systems in Operations: Methods, Models and Applications in the Supply Chain. Hershey, PA, USA: IGI Global, 2010, v. , p. 27-40.

Trabalhos completos publicados em anais de congressos
1.
Camarão, Carlos; Ribeiro, Rodrigo ; FIGUEIREDO, L. . Optional Type Classes for Haskell. In: SBLP 2016 (20th Brazilian Symposium on Programming Languages), 2016, Maringá. Lecture Notes in Computer Science. Nova Iorque: Springer International Publishing, 2016. v. 9889. p. 16-30.

2.
LOPES, R. ; Ribeiro, Rodrigo ; Camarão, Carlos . Certified Derivative-Based Parsing of Regular Expressions. In: SBLP 2016 (20th Brazilian Symposium on Programming Languages), 2016, Maringá. Lecture Notes in Computer Science. Nova Iorque: Springer International Publishing, 2016. v. 9889. p. 95-109.

3.
Ribeiro, Rodrigo ; Camarão, Carlos . A Mechanized Textbook Proof of a Type Unification Algorithm. In: 18th Brazilian Symposium on Formal Methods, 2015, Belo Horizonte. Anais do XVIII Simpósio Brasileiro de Métodos Formais, 2015.

4.
Camarão, Carlos; Ribeiro, Rodrigo ; Cristiano Vasconcelos ; GELAIN, A. . Type Inference for GADTs and Anti-unification. In: XXIX SBLP, 2015, Belo Horizonte. Proceedings of the XXIX SBLP:, 2015. v. 9325. p. 16-30.

5.
Camarão, Carlos; FIGUEIREDO, L. ; CARDOSO, E. M. . First Class Overloading via Intersection Type Parameters. In: SBLP 2011 (XV Brazilian Symposium on Programming Languages), 2011, Sao Paulo. SBLP 2011 Proceedings (XV Brazilian Symposium on Programming Languages), 2011.

6.
Camarão, Carlos; SILVA, M. . Controlling the scope of instances in Haskell. In: SBLP 2011 (XV Brazilian Symposium on Programming Languages), 2011, Sao Paulo. SBLP 2011 Proceedings ((XV Brazilian Symposium on Programming Languages), 2011.

7.
Newton Vieira ; BARBOSA, I. G. ; Camarão, Carlos . From Proof Trees to Justificatory Answering. In: EPIA 2011, 2011, Lisboa. EPIA 2011 Proceedings. Lisboa: APPIA, 2011.

8.
Camarão, Carlos; Ribeiro, Rodrigo ; FIGUEIREDO, L. ; Cristiano Vasconcelos . A Solution to Haskell's Multi-Parameter Type Class Dilemma. In: SBLP 2009 (XIII Brazilian Symposium on Programming Languages), 2009, Gramado. SBLP 2009 Proceedings (XIII Brazilian Symposium on Programming Languages), 2009. p. 5-18.

9.
Camarão, Carlos; Cristiano Vasconcelos ; FIGUEIREDO, L. ; João Nicola . Open and Closed World Approaches for Overloading: a Definition and Support for Coexistence. In: XI Simpósio Brasileiro de Linguagens de P, 2007, Natal. Anais do SBLP 2007, 2007. p. 165-179.

10.
FIGUEIREDO, L. ; Cristiano Vasconcelos ; João Nicola ; Camarão, Carlos . Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. In: XI Simpósio Brasileiro de Linguagens de Programação (SBLP 2007), 2007, Natal. Anais do SBLP 2007, 2007.

11.
Camarão, Carlos; FIGUEIREDO, L. ; Cristiano Vasconcelos . Constraint-set satisfiability for Overloading. In: Principles and Practice of Declarative Programming (PPDP'04), 2004, Verona. ACM Press Conference Proceedings on Principles and Practice of Declarative Programming. New York: ACM Press, 2004. p. 67-77.

12.
Camarão, Carlos; FIGUEIREDO, L. ; Cristiano Vasconcelos . Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. In: SBLP '2003, 2003, Ouro Preto. Anais do SBLP 2003. Ouro Preto: Sociedade Brasileira de Computação, 2003. p. 166-179.

13.
Camarão, Carlos; FIGUEIREDO, L. . A Monadic Combinator Compiler Compiler. In: 5 Simposio Brasileiro de Linguagens de Programacao, 2001, Curitiba. Anais do 5 Simposio Brasileiro de Linguagens de Programacao, 2001. p. 64-79.

14.
Camarão, Carlos; FIGUEIREDO, L. . Principal Typing and Mutual Recursion. In: International Workshop on Functional and Logic Programming (WFLP 2001), 2001, Kiel, Alemanha. Proceedings of the International Workshop on Functional and Logic Programming. Kiel, Alemanha: University of Kiel, 2001. p. 161-174.

15.
Camarão, Carlos; Pedro Ivo Oliveira . Adapting Web Contents to Wap Devices using Haskell. In: XXI International Conference of the Chilean Computer Science Society, 2001, Punta Arenas, Chile. IEEE CS Press Proceeedings of the XXI International Conference of the Chilean Computer Science Society, 2001. p. 223-232.

16.
Camarão, Carlos; FIGUEIREDO, L. . Typing Polymorphic Recursion. In: CACIC'2001, 2001, El Calafate, Argentina. Proceedings of CACIC'2001, 2001.

17.
Camarão, Carlos; Hermann Rodrigues . JEDI: An Interactive Interpreter for Java. In: CACIC'2001, 2001, El Calafate, Argentina. Proceedings of CACIC'2001, 2001.

18.
Camarão, Carlos; FIGUEIREDO, L. . ML Has Principal Typings. In: SBLP'2000 (IV Simpósio Brasileiro de Linguagens de Programação), 2000, Recife. Anais do SBLP'2000, 2000. p. 231-244.

19.
Camarão, Carlos; Edierley Messias ; Pedro Ivo Oliveira . Uma Visao da Plataforma tWAP. In: Workshop sobre Metodos e Serviços para Computaçao Movel, 2000, Sao Paulo. http://www.ime.usp.br/~sidam/worksidam/artigos/index.html, 2000.

20.
Camarão, Carlos; FIGUEIREDO, L. ; CAMARÃO, C. . A Type with a View. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. A Type with a View, 1999. p. 33-44.

21.
Camarão, Carlos; CAMARÃO, C. ; PIMENTEL, L. F. L. . Sistemas de Tipos em Linguagens de Programação. In: III Simpósio Brasileiro de Linguagens de Programação, 1999. Sistemas de Tipos em Linguagens de Programação. Porto Alegre, 1999.

22.
Camarão, Carlos; FIGUEIREDO, L. . Type Inference for Overloading without Restrictions, Declarations or Annotations. In: FLOPS'99 (4th International Symposium on Functional and Logic Programming), 1999, Tsukuba. Lecture Notes in Computer Science. Berlin Heidelberg New York: Springer-Verlag International, 1999. v. 1722. p. 37-52.

23.
Camarão, Carlos; FIGUEIREDO, L. . A View on Type Declarations. In: Workshop on Applications of Functional and Logic Programming, 1999, Tsukuba. Proceedings of the Workshop on Applications of Functional and Logic Programming, 1999.

24.
Camarão, Carlos; CAMARÃO, C. ; FIGUEIREDO, L. . Class Types. In: II Simpósio Brasileiro de Linguagens de Programação, 1997. Class Types. Campinas, 1997. p. 96-108.

25.
Camarão, Carlos; CAMARÃO, C. . A Smart Recompilation Scheme in a CHILL Compiler. In: 5th CHILL Conference, 1990. A Smart Recompilation Scheme in a CHILL Compiler. Rio de Janeiro, 1990.

Apresentações de Trabalho
1.
Camarão, Carlos. Haskell Ambiguity and Multi-Parameter Type Classes. 2017. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Camarão, Carlos. Desenvolvendo Software em Java. Rio de Janeiro: LTC --- Livros Técnicos e Científicos Editora S.A., 2009. (Tradução/Livro).

2.
Camarão, Carlos; FIGUEIREDO, L. . Organizaçao e Arquitetura de Computadores: Projeto visando Desempenho. Sao Paulo: Pearson Education do Brasil Ltda., 2002. (Tradução/Livro).

3.
Camarão, Carlos; FIGUEIREDO, L. . Conceitos de Sistemas Operacionais. Rio de Janeiro: Pearson Education do Brasil Ltda., 2001. (Tradução/Livro).


Produção técnica
Programas de computador sem registro
1.
Camarão, Carlos. Mímico. 2004.

2.

3.
Camarão, Carlos. tm2itm, itm2sup, rsup. 2004.


Demais tipos de produção técnica
1.
Camarão, Carlos; FIGUEIREDO, L. ; MILANES, A. . Programação de Computadores em C. 2014. (Desenvolvimento de material didático ou instrucional - Livro eletrônico, disponível na Web).

2.
Camarão, Carlos. Programação Funcional (Mestrado em Engenharia de Software). 2008. (Curso de curta duração ministrado/Outra).

Demais trabalhos
1.
Camarão, Carlos. Semântica formal do Sistema CT. 2000 (Orientação de Tese de Doutoramento (em andamento)) .

2.
Camarão, Carlos. Adaptações de Protocolos para Ambiente de Computação Móvel usando Arquitetura WAP. 2000 (Orientação de Tese de Mestrado) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Camarão, Carlos; Ribeiro, Rodrigo; MALAQUIAS, J. R.; REIS, L.. Participação em banca de Raul Felipe Pimenta Lopes. Certified Derivative-based Parsing of Regular Expressions. 2018. Dissertação (Mestrado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Ouro Preto.

2.
Camarão, Carlos; BIGONHA, M. A. S.; FERREIRA, K. A. M.; REIS, L. V. S.. Participação em banca de João Francisco Neiva de Carvalho. Interdependência entre Alocação de Registradores e Escalonamento de Instruções: Estudo Sistemático e Verificação de Soluções. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.
Camarão, Carlos. Participação em banca de Fabiana Lopes Fernandes. O isomorfismo de Curry-Howard via teoria de categorias. 2009. Dissertação (Mestrado em Matemática) - Universidade Federal de Minas Gerais.



Participação em bancas de comissões julgadoras
Concurso público
1.
MALAQUIAS, J. R.; REIS, L. V. S.; Camarão, Carlos. Concurso para professor na área de Linguagens de Programação (Edital UFOP PROAD 24/2018). 2018. Universidade Federal de Ouro Preto.

2.
Camarão, Carlos; Edleno Moura. Concurso para professor adjunto. 2018. Universidade Federal do Rio Grande do Sul.

3.
Camarão, Carlos; COMBA, J. L. D.; LIMA, R. M. F.. Concurso para professor na área de Linguagens de Programação. 2014. Universidade Federal do Rio Grande do Sul.

4.
Camarão, Carlos. Concurso para professor adjunto. 2010. Universidade Federal de São Paulo.

5.
Camarão, Carlos. Concurso para professor adjunto. 2010. Universidade do Estado de Santa Catarina.

6.
Camarão, Carlos. Concurso para professor adjunto. 2010. Universidade Federal dos Vales do Jequitinhonha e Mucuri - Campus JK.

7.
Camarão, Carlos. Concurso para professor adjunto. 2010. Universidade Federal de São João Del-Rei.

8.
Camarão, Carlos. Concurso para professor adjunto. 2002. Universidade Estadual de Montes Claros.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
SBLP 2016.Certified Derivative Based Parsing of Regular Expressions. 2016. (Simpósio).

2.
SBLP 2016.Optional Type Classes for Haskell. 2016. (Simpósio).

3.
SBLP 2015.Apresentação de artigo. 2015. (Simpósio).

4.
SBMF 2015.A Mechanized Textbook Proof of a Type Unification Algorithm. 2015. (Simpósio).

5.
15th Brazilian Symposium on Programming Languages.Controlling the Scope of Instances in Haskell. 2011. (Simpósio).

6.
15th Brazilian Symposium on Programming Languages.First Class Overloading via Intersection Type Parameters. 2011. (Simpósio).

7.
XIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2009).A Solution to Haskell's Multi-Parameter Type Class Dilemma. 2009. (Simpósio).

8.
Curso de Programação Funcional.Programacão Funcional. 2008. (Outra).

9.
Lernet Summer School and Final Meeting.LerNet Summer School. 2008. (Encontro).

10.
XI Simpósio Brasileiro de Linguagens de Programação (SBLP 2007).Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. 2007. (Simpósio).

11.
II Encontro dos membros do Projeto Alfa LerNet.Coordenador do II Encontro dos Membros do Projeto Alfa LerNet (LERNET- Language Engeneering and Rigourous Software Development). 2006. (Encontro).

12.
X Brazilian Symposium on Programming Languages. X Brazilian Symposium on Programming Languages (membro do Comitê de Programa). 2006. (Congresso).

13.
Alfa LerNet - first kick-off meeting.Primeiro Encontro de Membros do Projeto Alfa LerNet (LERNET- Language Engeneering and Rigourous Software Development). 2005. (Encontro).

14.
Alfa LERNet Kick-off Meeting.UFMG institutional presentation and research group interests. 2005. (Encontro).

15.
Curso dado na pós-graduação da Universidad de la Republica (Montevidéu), como parte de Projeto da Associação de Universidades do Grupo Montevidéu.Curso dado na pós-graduação da Universidad de la Republica (Montevidéu), como parte de Projeto da Associação de Universidades do Grupo Montevidéu. 2005. (Outra).

16.
Curso sobre programação genérica, ministrado por Alberto Pardo, como parte de Projeto da Associação de Universidades do Grupo Montevidéu. 2005. (Outra).

17.
IX Simpósio Brasileiro de Linguagens de Programação. IX Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 2005. (Congresso).

18.
XIX Brazilian Symposium on Programming Languages. XIX Brazilian Symposium on Programming Languages (membro do Comitê de Programa). 2005. (Congresso).

19.
Simpósio Brasileiro de Linguagens de Programação. XIX Simpósio Brasileiro de Linguagens de Programação (membro do Comtê de Programa). 2004. (Congresso).

20.
VIII Simpósio Brasileiro de Linguagens de Programação. VIII Simpósio Brasileiro de Linguagens de Programação (membro do comitê de programa). 2004. (Congresso).

21.
VII Simpósio Brasileiro de Linguagens de Programação. VII Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 2003. (Congresso).

22.
VI Simpósio Brasileiro de Linguagens de Programação. VI Simpósio Brasileiro de Linguagens de Programação (Presidente do Comite de Programa). 2002. (Congresso).

23.
V Simpósio Brasileiro de Linguagens de Programação. V Simpósio Brasileiro de Linguagens de Programação (membro do Comite de Programa). 2001. (Congresso).

24.
IV Simpósio Brasileiro de Linguagens de Programação. IV Simpósio Brasileiro de Linguagens de Programação (membro do Comite de Programa). 2000. (Congresso).

25.
III Simpósio Brasileiro de Linguagens de Programação (SBLP'99). III Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 1999. (Congresso).

26.
II Simpósio Brasileiro de Linguagens de Programação (SBLP'97). II Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 1997. (Congresso).

27.
I Simpósio Brasileiro de Linguagens de Programação (SBLP'96). I Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 1996. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
Camarão, Carlos. XXII Brazilian Symposium on Programming Languages. 2018. (Congresso).

2.
Camarão, Carlos. XXII Brazilian Symposium on Programming Languages (SBLP 2018). 2018. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Marco Túlio Gontijo e Silva. Controlling the Scope of Instances in Haskell. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlos Camarão de Figueiredo.

2.
Elton Maximo Cardoso. First class Overloading via Intersection Type Parameters. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Carlos Camarão de Figueiredo.

3.
Eduardo Campazzo. Uso de Haskell para Análise de Processos de Negócio usando BPEL. 2008. Dissertação (Mestrado em Mestrado en Ingeniería de Software) - Universidad Nacional de San Luis, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Carlos Camarão de Figueiredo.

4.
Claudia Inchaurrondo. Provadores de Teoremas para ensino de Lógica de Primeira Ordem. 2008. Dissertação (Mestrado em Mestrado en Ingeniería de Software) - Universidad Nacional de San Luis, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Carlos Camarão de Figueiredo.

5.
Rodrigo Geraldo Ribeiro. Programação genérica usando o Sistema CT. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlos Camarão de Figueiredo.

6.
João Rafael Moraes Nicola. Polimorfismo de registros no sistema CT. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Carlos Camarão de Figueiredo.

7.
Pedro Ivo Alexandre de Oliveira. Adaptação de Conteúdo da Web para o Ambiente WAP. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Carlos Camarão de Figueiredo.

Tese de doutorado
1.
Rodrigo Geraldo Ribeiro. Classes de tipo opcionais e com múltiplos parâmertros em Haskell. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Carlos Camarão de Figueiredo.

2.
Arie Middelkoop. Type Inference for higher rank types. 2008. Tese (Doutorado em Computer Science) - Utrecht University, ALFA LerNET. Coorientador: Carlos Camarão de Figueiredo.

3.
Cristiano Damiani Vasconcellos. Inferência de tipos com suporte para sobrecarga baseada no sistema CT. 2004. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais, . Orientador: Carlos Camarão de Figueiredo.

4.
Elaine Gouvêa Pimentel. Logica Linear para Especificação de Sistemas Computacionais. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Carlos Camarão de Figueiredo.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Marco Antônio Luz do Val. Análise de alternativas ao desenvolvimento de aplicativos integrados aos ERPs IS-U/CCS e R/3 da SAP, na Companhia Energética de Minas Gerais - CEMIG. 2006. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

Trabalho de conclusão de curso de graduação
1.
Felipe Soares Gonçalves Rosa. API de Sistema de recomendação para marketing de retenção. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

2.
Luigi Moreira Laporte. Semi-unificação e algoritmos de caminhamento em grafos. 2004. Trabalho de Conclusão de Curso. (Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

3.
Luiz Hamilton Ribeiro Leite Soares. Implementação de aplicação usando SMS e protocolo. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

4.
Luiz Hamilton Ribeiro Leite Soares. Padronização de "short codes", problemas e o protocolo SMPP 5.0. 2002. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

5.
Hermann Oliveira Rodrigues. JEDI: Um Interpretador Interativo para Java. 2001. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

6.
Hermann Oliveira Rodrigues. Comparação de Programas em Linguagens Funcionais e Imperativas de Programação Usando Algoritmos de Ordenação. 1999. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

7.
André Luiz Avelar. Desenvolvimento e análise de algoritmos de pesquisa e ordenação em uma linguagem funcional moderna. 1997. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

8.
Renato Faraco Dutra. Desenvolvimento de Scripts CGI utilizando Haskell. 1997. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

9.
Daniel Braga de Faria. Construção de um Simulador de Ambiente Cliente-Servidor. 1997. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

10.
Daniel Braga de Faria. Comparação entre as linguagens Eiffel e Java. 1996. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

Iniciação científica
1.
Bruno Maia. Suporte a Geração de Cursos na Web. 2014. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: Carlos Camarão de Figueiredo.

2.
César Nascimento. Suporte a Geração de Cursos na Web. 2014. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: Carlos Camarão de Figueiredo.

3.
Fabiano Gonçalves Moreira. Conversão de LaTeX para HTML para Suporte a Criação de Cursos Disponíveis na Internet. 2013. Iniciação Científica - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: Carlos Camarão de Figueiredo.

4.
Marco Túlio Gontijo e Silva. Implementing the Immix Garbage Collector Algorithm on GHC.. 2010. Iniciação Científica - Universidade Federal de Minas Gerais, Google (Google Summer of Code Project). Orientador: Carlos Camarão de Figueiredo.

5.
Mateus Galvão. Aplicações e conseqüências de P=NP. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

6.
Fabrício Cardoso de Morais. Análise comparativa da eficiência de programas de ordenação em linguagens funcionais e imperativas. 1999. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Carlos Camarão de Figueiredo.

7.
Júnia Maria Neves. Interpretador de Lambda-Calculus em uma linguagem orientada por objetos. 1996. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlos Camarão de Figueiredo.



Inovação



Outros projetos


Educação e Popularização de C & T



Desenvolvimento de material didático ou instrucional
1.
Camarão, Carlos; FIGUEIREDO, L. ; MILANES, A. . Programação de Computadores em C. 2014. (Desenvolvimento de material didático ou instrucional - Livro eletrônico, disponível na Web).


Organização de eventos, congressos, exposições e feiras
1.
Camarão, Carlos. XXII Brazilian Symposium on Programming Languages. 2018. (Congresso).

2.
Camarão, Carlos. XXII Brazilian Symposium on Programming Languages (SBLP 2018). 2018. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 20/01/2019 às 22:27:37