Faculdade

Eventos

Discussão da proposta de Tese de Doutoramento do aluno Filipe Militão

Dual Degree PhD Program Carnegie Mellon/UNL

Tema da Tese

Rely-guarantee protocols for shared variable programs

Comissão de acompanhamento de tese

Orientador: 

Doutor Luís Caires, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

  1. Doutor Frank Pfenning, Full Professor of School of Computer Science, Carnegie Mellon University
  2. Doutor Jonathan Aldrich, Associate Professor of School of Computer Science, Carnegie Mellon University
  3. Doutor Karl Crary, Associate Professor of School of Computer Science, Carnegie Mellon University
  4. Doutor António Ravara, Professor Auxiliar da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa