Dipartimento di informatica

Department of Informatics. Research groups concentrate on knowledge representation and reasoning, machine learning, natural language processing, databases and information systems, decision making models and management systems, informatic technology, linear programming, integer linear programming, game theory, logic programming and automated reasoning, mathematical logic, performance analysis, modelling in biology and medicine, cooperative systems, multidimensional signal processing, security and computer networks, semantics and logics of computation.