master dissertation defense

Master Dissertation Defense - José Manuel Costa Pereira

Date: 
Friday, December 9, 2016, 10:00am

Title: A Web-based Social Environment for Alloy

Jury: Pedro Manuel Rangel Santos Henriques - President

        Simão Patrício Melo de Sousa - Examiner

        Manuel Alcino Pereira Cunha - Supervisor

Location: DI, Auditorium A2

Photos

Master Dissertation Defense - Guilherme dos Santos Rodrigues

Date: 
Friday, December 9, 2016, 3:00pm

Title: DevOps - The new development process

Jury: Pedro Manuel Rangel Santos Henriques - President

         Nuno Miguel Feixa Rodrigues - Examiner

         António Manuel Nestor Ribeiro - Supervisor

Location: DI, Auditorium A2

Photos: 

Master Dissertation Defense - Eduardo José Dias Pessoa

Date: 
Friday, December 9, 2016, 11:00am

Title: Parallel verification of Dynamic Systems with Rich Configuration

Jury: Pedro Manuel Rangel Santos Henriques - President

         Simão Patrício Melo de Sousa - Examiner

         Nuno Filipe Moreira Macedo - Supervisor

Location: DI, Auditorium A2

Photos

Master Dissertation Defense - Nuno Miguel de Lima Pereira

Date: 
Friday, December 9, 2016, 4:00pm

Title: Arquitetura orientada a serviços para suporte a um sistema de agendamentos online

Jury: Pedro Manuel Rangel Santos Henriques - President

        José Eduardo Moreira Fernandes - Examiner

        António Manuel Nestor Ribeiro - Supervisor

Location: DI, Auditorium A2

Photos:

Master Dissertation Defense - Marta Vasconcelos Castro Azevedo

Date: 
Monday, December 12, 2016, 3:30pm

Title: Correct Translation of Imperative Programs to Single Assignment Form

Jury: Pedro Manuel Rangel Santos Henriques - President

         António Mário da Silva Marcos Florido - Examiner

         Maria João Gomes Frade - Supervisor

Location: DI, Auditorium A2

Photos:

MASTER DISSERTATION DEFENSE - CARLOS EDUARDO FERNANDEZ AFONSO

Date: 
Thursday, October 27, 2016, 10:00am
Title: Elastic Cloud Applications Tradeoffs

Jury: António Luís Sousa - President

        Afrânio Correia | Oracle Corporation - Examiner

        Miguel Ângelo Matos - Supervisor

MASTER DISSERTATION DEFENSE - BRUNO MIGUEL PEREIRA ANDRADE

Date: 
Friday, December 18, 2015, 2:30pm

Title: Gestão e análise de eventos de segurança

Jury: Pedro Manuel Rangel Santos Henriques - President

        Helena Cristina Coutinho Duarte Rodrigues - Examiner

        Vitor Francisco Mendes Freitas Gomes Fonte - Supervisor

Location: DI A2

MASTER DISSERTATION DEFENSE - MIGUEL ÂNGELO GOMES DA COSTA

Date: 
Thursday, December 17, 2015, 4:00pm

Title: Qualidade de Software para o Robot Operating System

Jury: Pedro Manuel Rangel Santos Henriques - President

        Simão Patrício Melo de Sousa - Examiner

        Manuel Alcino Pereira Cunha - Supervisor

Location: DI A2

MASTER DISSERTATION DEFENSE - FÁBIO ESTEVES SOUSA

Date: 
Thursday, December 17, 2015, 3:00pm

Title: AuTGen-C: uma plataforma para geração de testes com base no CBMC

Jury: Pedro Manuel Rangel Santos Henriques - President

        Simão Patrício Melo de Sousa - Examiner

        Maria João Gomes Frade - Supervisor

Location: DI A2

MASTER DISSERTATION DEFENSE - ANDRÉ DIAS COSTA

Date: 
Monday, December 14, 2015, 11:30am

Title: Gestão de Bases de Dados Relacionais em Cloud Computing

Jury: José Carlos Leite Ramalho - President

        Gabriel de Sousa Torcato David - Examiner

        João Tiago Medeiros Paulo - Supervisor

Location: DI - Meeting Room