José Carmo

José Carmo

Última posição no IST: Professor Associado.

  • Doutoramento em Matemática, Instituto Superior Técnico, Portugal, 1988.

Theory of Computation, Specification Logic, Deontic Logic.



Página web pessoal
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.