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 he has been Associate Professor for Theoretical Computer Science at the Section of Computer Science of the Department of Mathematics of the Lisbon Institute of Technology (Instituto Superior Tecnico). Since 1993 he has also been collaborating with the University of Madeira. He has been responsible for courses taken by students of Mathematics and Engineering in programming and in logic.
• He is a key researcher of the Logic and Computation Group.

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.

Recent relevant publications (last 5 years):

• J. Carmo & A.J.I. Jones, "Deontic Database Constraints, Violation and Recovery", to appear in Studia Logica, 1995.
• R. Li & J. Carmo, "On Completeness of A Positional Interval Logic with Equality, Overlap and Subinterval Relations", to appear in Bulletin of IGPL, 1994.
• J. Carmo & A.J.I. Jones, "Deontic Database Constraints and the Characterisation of Recovery", in Proc. Second International Workshop on Deontic Logic in Computer Science (Deon'94), A.J.I. Jones & M. Sergot (eds.), Complex 1/94 NRCCL, 56-85, 1994.
• A. Zanardo & J. Carmo, "Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL*", Journal of Logic and Computation 3:3, 249-268, 1993.
• F. Santos & J. Carmo, "A Deontic Logic Representation of Contractual Obligations", in Dentic Logic in Computer Science: Normative System Specification, J.-J. Ch Meyer & R.J. Wieringa (eds.), John Wiley and Sons, 243-257, 1993.
• R. Li & J. Carmo, "An Interval-Based Modal Logic for System Specification", in Logic Foundations of Computer Science - Tver'92, A. Nerode & M Taitslin (eds.), LNCS 620, Springer-Verlag, 281-292, 1992.
• J. Carmo & A. Sernadas, "Formal Techniques for Systems Specification and Verification", Information Systems 16:3, 245-272, 1991.
• J. Carmo & A. Sernadas, "Branching versus Linear Logics Yet Again", Formal Aspects of Computing 2:1, 24-59, 1990.