Disciplina Curricular

Sistemas de Tipos em Computação Distribuída STCD

Diploma de Estudos Avançados em Matemática - DEAMat2006

Peso

6.0 (para cálculo da média)

Objectivos

Dominar modelos e técnicas de análise estática para garantir segurança em sistemas móveis e distribuídos.

Programa

Modelos de concorrência e mobilidade - variantes do cálculo pi e do cálculo de ambientes; garantia estática de propriedades de segurança (safety); sistemas de tipos e efeitos; garantia estática de propriedades de animação (liveness), nomeadamente ausência de impasses e não interferência; modelos de sistemas distribuídos e código móvel; sistemas de tipos para código móvel; aplicações em segurança da informação (information security).

Disciplinas Execução

2010/2011 - 2 Semestre

2009/2010 - 2 Semestre

2007/2008 - 2 Semestre