Home


Professor Assistente do Departamento de Ciências Exatas e Aplicadas.

Como me encontrar

Departamento de Ciências Exatas e Aplicadas / UFOP / Sala 204
Currículo lattes
e-mail: rodrigogribeiro at decea.ufop.br

Cursos

Para cada curso lecionado são apresentados o plano de curso e outras informações, como listas de exercícios e transparências.

Disciplinas


Matemática Discreta I
[2012-2] [2012-1] [2011-2] [2010-1]

Linguagens de Programação
[2011-1] [2010-2] [2009-2]

Aspectos Formais de Computação
[2010-1] [2009-2]

Estrutura e Organização de Arquivos
[2009-1]

Projeto de Sistemas de Software
[2009-1]

Engenharia de Software
[2009-1]

Verificação Formal de Software - Tópicos em Engenharia de Software I
[2011-2]

Áreas de Interesse
  • Projeto e Implementação de linguagens de programação.
  • Aplicação de métodos formais à engenharia de software.
  • Aplicações de lógica à computação.
Orientações
Projetos de Pesquisa
  • Iniciação científica
    • Construção de horários escolares utilizando resolvedores SAT (leia mais).
    • Projeto e implementação de um arcabouço para construção de resolvedores SAT (leia mais).
    • Desenvolvimento formal de um compilador utilizando um assistente de provas (leia mais).
    • Identificação de padrões de projeto utilizando análise estática e dinâmica de código fonte (leia mais).
Idéias para Iniciação Científica / Monografias
  • Se você está procurando projetos de iniciação científica ou temas para monografia, me procure. Leia mais sobre possíveis temas.