Dissertação de mestrado

Aluno: Thiago de Oliveira Cavalcante
Orientador: Prof. Djamel Fawzi Hadj Sadok
Título: Sistema de Comunicação Segura para Dispositivos Conectados à Internet das Coisas com Utilização de Smart Cards
Data: amanhã (14)
Hora/Local: 15h – Centro de Informática – Auditório
Confira a banca examinadora e o resumo do trabalho.

Aluno: Diocleciano Dantas Neto
Orientador: Prof. Daniel Carvalho da Cunha
Título: Uma Análise da Implantação de Sistemas Inteligentes de Transporte na Região Metropolitana do Recife: Enfoque em Arquitetura de Redes Veiculares
Data: sexta-feira (15)
Hora/Local: 14h – Centro de Informática – Sala D218
Confira a banca examinadora e o resumo do trabalho.

Aluno: Rhudney Alyson Menna Barreto Konig Simões
Orientador: Prof. Divanilson Rodrigo de Sousa Campelo
Título: Uma Extensão da Arquitetura de ETSI ITS-S para comunicação entre Aplicações ITS, IoT e SOME/IP
Data: sexta-feira (15)
Hora/Local: 15h – Centro de Informática – Auditório
Confira a banca examinadora e o resumo do trabalho.

Tese de doutorado

Aluno: Gabriela Guedes de Souza
Orientador: Profa. Carla Taciana Lima Lourenço Silva Schuenemann
Título: Contextual Goal Models for Dynamic Software Product Lines
Data: amanhã (14)
Hora/Local: 13h – Centro de Informática – Anfiteatro
Confira a banca examinadora e o resumo do trabalho.

Aluno: Eunice Palmeira da Silva
Orientador: Prof. Frederico Luiz Gonçalves de Freitas
Coorientador: Prof. Jens Otten (University of Oslo)
Título: Conversão de Provas em Lógica de Descrições ALC Geradas pelo Método de Conexões para Sequentes
Data: sexta-feira (15)
Hora/Local:  8h – Centro de Informática – Anfiteatro
Confira a banca examinadora e o resumo do trabalho.