José Carmo

Curriculum Vitae

• José Carmo was born in 1956 in Portugal. He graduated in Mathematics at the Faculty of Sciences of Lisbon in 1978 and obtained his PhD in Mathematics from the Technical University of Lisbon in 1988.
• Since 1992 until 2000 he was Associate Professor for Theoretical Computer Science at the Section of Logic and Computation of the Department of Mathematics of the Lisbon Institute of Technology (Instituto Superior Tecnico). Since 1993 he also collaborated with the University of Madeira.
• He is now Full Professor at the Department of Mathematics of the University of Madeira.
• He was an active member of the Logic and Computation Group from 1981 until 2000.
• He is a honorary member of the Center for Logic and Computation.

Research

• His main research interests are in deontic, temporal and action logics, and their application both in legal knowledge representation and in the specification of computer systems and organizations (viewed as normative systems). From 1990 he was the leader of three national research projects in these areas: the FLAD project Normlog, the JNICT project Deontlog and the STRIDE/JNICT/FEDER project Jurad. All these projects involved cooperation with researchers from Law, as we as Computer Science; Jurad involved international colaboration. Currently he is involved in the ESPRIT-III Working Group 8319 "ModelAge: A Common Formal Model of Cooperating Intelligent Agents". He has two PhD students under his supervision, and has supervised one PhD and three Master's dissertations. He has also been involved in the Programme and in the Organization Committees of international workshops within his research area; currently, he co-chairs the Programme Committee of the Third International Workshop on Deontic Logic in Computer Science (Deon'96) that will take place in Lisbon in January 1996.

Publications at LCG (1988-2000)

Last update: January 3, 2001.