SISINFLAB

The research activities of the Information Systems Lab (SisInf Lab) have been evolving over the years around a common nucleus: intelligent systems and intelligent data management. All the aspects related to Artificial Intelligence as well as those referring to Software Engineering and Industrial Informatics are part of the background knowledge of professors, Ph.D. students and research assistants working with SisInf Lab. This led to the presentation of new and innovative solutions in the fields of automated reasoning, big data analysis, formal verification of software systems, recommender systems and Internet of Things, just to cite a few. Putting together different souls of computer science to propose smarter and smarter software solutions, algorithms and architectures is the main mission of SisInf Lab and this is made possible thanks to a strong set of competencies.