You are here

Announcements

Vitor Manuel Parreira Pereira defends dissertation "Development of deductive verification tool for cryptographic software"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Vitor Manuel Parreira Pereira, and entitled "Development of deductive verification tool for cryptographic softwar

César Morais Perdigão defends dissertation "Advanced Light Transport Algorithms on Heterogeneous Platforms: Evaluation of the DICE Framework"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by César Morais Perdigão, and entitled "Advanced Light Transport Algorithms on Heterogeneous Platforms: Evaluation o

Carlos Manuel Baptista Martins defends dissertation "Agricultural Production Management System"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Carlos Manuel Baptista Martins, and entitled "Agricultural Production Management System", will take place on Sept

Victor Cacciari Miraldo defends dissertation "Automatic Rewrite Proofs by Reflection in Agda"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Victor Cacciari Miraldo, and entitled "Automatic Rewrite Proofs by Reflection in Agda", will take place on July 2

Daniel José Taveira Gomes defends dissertation "Voxel Based Real-Time Global Illumination Techniques"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Daniel José Taveira Gomes, and entitled "Voxel Based Real-Time Global Ilumination Techniques", will take place on

José Ricardo de Almeida Pinheiro defends dissertation "Exploring Frama-C to improve Assertion-based Slicing."

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by José Ricardo de Almeida Pinheiro, and entitled "Exploring Frama-C to improve Assertion-based Slicing.", will take

Vitor Tiago Varajão Martins defends dissertation "Detection of Plagiarism in Software in an Academic Environment"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Vitor Tiago Varajão Martins, and entitled "Detection of Plagiarism in Software in an Academic Environment", will

Raphael Julien Rodrigues defends dissertation "Model Based Testing"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Raphael Julien Rodrigues, and entitled "Model Based Testing", will take place on July 17, 2015 by 10:30 in room D

Carlos Miguel Marques Barroso defends his Relatório de Actividade Profissional (Despacho RT-38/2011)

The defense by Carlos Miguel Marques Barroso of his Relatório de Actividade Profissional (Despacho RT-38/2011) will take place on the 29th of May, 3pm, in the meeting room of the 3rd floor.

Daniel Casanova Faria Torres defends dissertation "Secure MultiParty Computation"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Daniel Casanova Faria Torres, and entitled "Secure MultiParty Computation", will take place on March 13, 2015 by

Pages

home contacts RSS Feed last update: 06-Dec-2019 share facebook
Drupal theme by pixeljets.com D7 ver.1.1