You are here

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 software", will take place on Septemebr 25, 2015 by 10:30 in room DI-A2 the Department of Informatics. This event is public and open to all interested.
The examining committee is the following:

  • Pedro Manuel Rangel Santos Henriques - head
  • Simão Patrício Melo de Sousa - oppenent
  • Manuel Bernardo Martins Barbosa - supervisor.
home contacts RSS Feed last update: 22-Apr-2019 share facebook
Drupal theme by pixeljets.com D7 ver.1.1