He got a PhD in Computer Science from the University of Florence in 1994. He published more than 60 papers in international journals and conferences. He acted as both Chair and PC member in conferences, and as editor of both proceedings and journal's special issues. He has organized the 16th Int. Symposium on Temporal Representation and Reasoning (TIME- 2009). His research has been funded by the European Community and by National funds. His main research subjects concern description logics, temporal logic, automated reasoning, ontologies, and conceptual modeling. A particular emphasis is devoted to the formalization of conceptual modeling tasks in domains with high semantic complexity and characterized by a dynamic aspect.