Claudio Alberto Hermida

Última posição no IST: Professor Auxiliar Convidado.

PhD Computer Science, University of Edinburgh, UK, 1993.

Teoria das Categorias, Lógica e Semântica Computacional.

Página web pessoal
http://slc.math.ist.utl.pt/claudio.html

Páginas web pessoais são da exclusiva responsabilidade do próprio.

Os dados nesta página são da responsabilidade do Departamento de Matemática do Instituto Superior Técnico e correspondem a informação contida em bases de dados locais. Pedidos de alteração de localização de páginas web pessoais, extensões telefónicas, gabinete ou habilitações devem ser dirigidos ao Secretariado do DMIST que pode realizar a alteração via /math/edit.