Ensino

[Pablo Farias por Samir Braga Chaves em 2018.1]

Disciplinas Ministradas

Refletindo a minha formação de doutorado e o meu gosto pelo assunto, até aqui eu tenho ministrado principalmente disciplinas relacionadas ao desenvolvimento de algoritmos eficientes. Além disso, também procuro ministrar disciplinas opcionais relacionadas aos meus interesses de pesquisa em Verificação de Programas.

Aqui estão as disciplinas por mim ministradas, agrupadas por semestre letivo:

Semestre Disciplinas
2019.1 Introdução a Assistentes de Prova
Laboratório de Programação
Seminários em Computação
2018.2 Estruturas de Dados
2018.1 Algoritmos em Grafos
Programação Computacional para Engenharia
Seminários em Computação
2017.2 Estruturas de Dados
Prova Assistida por Computador
2017.1 Programação Computacional para Engenharia
Verificação Dedutiva de Programas
2016.2 Algoritmos em Grafos
Prova Assistida por Computador
2016.1 Construção e Análise de Algoritmos
Programação Computacional para Engenharia
Verificação Dedutiva de Programas (interrompida por falta de alunos)
2015.2 Fundamentos Matemáticos da Computação – Turma Diurna
Fundamentos Matemáticos da Computação – Turma Noturna
Prova Assistida por Computador ("Teoria da Prova")
2015.1 Construção e Análise de Algoritmos
Laboratório de Programação II
2014.2 Construção e Análise de Algoritmos
Prova Assistida por Computador ("Teoria da Prova")
2014.1 Algoritmos em Grafos
Fundamentos de Programação
Programação Computacional para Engenharia

Disciplinas Opcionais

Eu tenho especial interesse nas disciplinas abaixo, que estão relacionadas aos meus interesses de pesquisa:


Para me Contactar Fora das Aulas

Se você está matriculado em alguma das minhas disciplinas e deseja me contactar fora do horário de aula, você pode:
  1. Ir à minha sala (maneira mais eficiente): Departamento de Computação (bloco 910), piso superior. Não é necessário marcar um horário previamente: você pode simplesmente aparecer e perguntar se posso atender. Em 2019.1, os meus horários em sala de aula são às:

  2. Telefonar para a minha sala: (85) 3366-9841. Fique à vontade para ligar e tirar dúvidas das disciplinas! Mais eficiente que isso, apenas se você aparecer na minha sala.

  3. Me contactar por Skype, que permite a comunicação com áudio em tempo real, compartilhamento de tela, etc. OBSERVAÇÃO: eu só entro no Skype quando necessário; se você desejar me encontrar por lá, por favor me mande um e-mail ou telefone para o número acima.

  4. Me enviar um e-mail (endereço no início desta página).


Para Solicitar Segunda Chamada

Conforme estipulado pela Universidade, o aluno tem direito a fazer uma segunda chamada caso falte a alguma prova. Entretanto, eu somente aplicarei provas de segunda chamada para alunos que atenderem a todas as exigências a seguir:

Solicitar a segunda chamada por escrito na secretaria do Departamento de Computação, em até 3 dias úteis após a realização da primeira chamada, anexando à solicitação um atestado médico ou outra comprovação da impossibilidade de comparecer à prova.

Solicitações que não atendam às exigências acima não serão aceitas (mas fale comigo se estiver com dificuldade para comprovar a necessidade de se ausentar). Em particular, não ter estudado o suficiente para a primeira chamada não é motivo aceitável para requerer uma segunda chamada.