Curriculum Vitae
- Born in Mirandola (Modena), January 1th 1961
- Nationality: Italian
- Languages: Italian (Native), English.
-
- Laurea Degree in Philosophy granted by University of Bologna -
Department of Philosophy, 1991. Final marks: 110/110 (summa cum laude).
Title of the thesis: Decidability and Undecidability in the
Elementary Theories - Automatic Resolution Methods.
- Supervisor: Prof. G. Sandri, Professor and Chair of Logic,
Department of Philosophy, University of Bologna.
- Fitness for PhD in Mathematical Logic and Computer
Science granted by University of Siena - Faculty of Mathematics, 1992.
- Courses of PhD in Computer Science and Law 1991/92, 1992/93, 1993/94
at CIRFID Centre for
Informatics and Law - University of Bologna.
- Supervisors: Prof. E. Pattaro, Professor and Chair of Philosophy of Law,
CIRFID, and
Prof. M. Matteuzzi, Assistant Professor of Philosophy of
Language, Department of Philosophy, University of Bologna.
- Ph.D in Computer Science and Law granted by University of
Bologna - CIRFID Centre for Informatics and Law, 1996.
Title of the thesis: Labelled Algorithmic Systems for Law Reasoning.
- Supervisors: Prof. G. Sandri, Professor and Chair of Logic and
Prof. A. Artosi, Assistant Professor of Epistemology,
Department of Philosophy, University of Bologna.
- Course of Summer School on Logic and Artificial Intelligence at CISM,
Centro Internazionale di Scienze Meccaniche 28/9/92 - 9/10/92, Udine.
- Course of Algebraic Logic and the Methodology of Applying it, Tempus Summer
School for Algebraic and Categorial Methods in Computer Science, at the
University of Budapest, 11/7/94 - 17/7/94.
- Post-PhD Researcher in Logic and AI at Department of Philosophy -
University of Bologna, 1995/96, 1996/97.
- Working Experiences
- - Planning and implementation of a Prolog Interpreter for KEM, a modal
theorem prover able to process contemporary fifteen modal
logics.
- - Planning and implementation of a Prolog Interpreter for LKE, a substructural theorem prover
able to process contemporary several logics as relevant, linear, lambek and others.
- - Planning and implementation of a Prolog Interpreter for NMKE, a theorem prover for a non
monotonic logic able to simulate Reiter default logic.
- - Planning and implementation of a Prolog Interpreter for the
treatment of synonymy at Omega Generation.
Up to Paola's main page:
  January 30 2008 / Homepage / Paola Cattabriga