José Carmo
Last position at IST: Associate Professor.
- Doutoramento em Matemática, Instituto Superior Técnico, Portugal, 1988.
Theory of Computation, Specification Logic, Deontic Logic.
Personal web page
http://www.cs.math.ist.utl.pt/s84.www/cs/jcc.html
Personal web pages are the exclusive responsibility of their owner.
Data on this page has been obtained from Department of Mathematics databases. Requests for changes in phone, personal web page location, office location or degrees should be directed to the main Office which may update the page through /math/edit.