|
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:
Eu tenho especial interesse nas disciplinas abaixo, que estão relacionadas aos meus interesses de pesquisa:
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:
Segundas-feiras 08-10h e 16-18h
Quartas-feiras 16-18h
Quintas-feiras 08-10h
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.
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.
Me enviar um e-mail (endereço no início desta página).
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.