SCIENTIFIC AND PROFESSIONAL EXPERIENCES

• September 1991 - present: member of the research group Mechanized Reasoning Group at the (I.R.S.T. and University of Trento, Italy).

• January - March 1994: visiting student at the Formal Reasoning Group of the Computer Science Department of the Stanford University. Course on Nonmonotonic Reasoning (prof. John McCarthy).

• January - May 1995: visiting researcher at the Logical Foundation of Artificial Intelligence Group, Computer Science Department of the University of Texas at Austin (prof. Vladimir Lifschitz).

• 15-19 September 1997: participation to BISCA-97 (Bolzano Internation Schools in Cognitive Analysis) on Categories: Ontological Perspectives in Knowledge Representation (Bolzano (Italy).

• August - December 1998: European visiting fellow at the Department of Philosophy of the University of Dundee.

• 1998 - present: collaborator of the Cognitive Science Laboratory of the University of Trento (Rovereto, Italy).

• June 2000 - present: full-time researcher at the Department of Information and Communication Technologies of the University of Trento.

• 2002: consultant of the Division on Automated Reasoning Systems at IRST.