I'm a Senior Research Scientist at FBK-irst, and leader of the SHELL (Shape and Evolve Living knowLedge) team.
My current research interests are focused on the representation and reasoning of (often distributed) knowledge and its interplay with data. In SHELL I'm especially focused on the integrated representation of procedural and declarative knowledge and on supporting the alignment and evolution of models wrt data.   

In the past, and to some extent also now, I've also been actively involved in the development of logics for the formalisation of Context-based reasoning (see the web page on Multi-context logics), Distributed Description Logics, on formal theories of Agents and Multi-Agent systems, and on on methodologies and tools for Enterprise Modelling with particular emphasis on the MoKi tool. 

My publication list is available here.

News

Last updated on January 18, 2016

Teaching

Lecturer of the Logica Matematica (Mathematical Logic) course at the Computer Science Faculty of the University of Trento. The course description for academic year 2014-15 can be found here.

 

Previous affiliations

  • Logic and Computation group. Department of Computer Science, University of Liverpool, UK.
  • Centre for Agent Research and Development. Department of Computing and Mathematics, Manchester Metropolitan University, UK.
  • Mechanised Reasoning Group. Department of Computer and Management Sciences, University of Trento, Italy.