Computer Science

Computer Science Colloquium

Luca Pulina
University of Sassari, Italy

Formal Methods and Cyber-Physical Systems: Research Activities and Funded Projects at the IDEA Lab

Tue 06.11.2018, 14:00, 60 minutes
Johannes Kepler Universität, Science Park 3, Raum 247


The Intelligent system DEsign and Applications (IDEA, group at the University of Sassari is composed of two synergistic souls: one focuses on automatic design strategies for advanced reconfigurable hardware architectures and, more in general, on (self-)adaptive system, while the other one concentrates on Formal Methods and Artificial Intelligence. The mission of IDEA is developing methods, technologies and architectures for future ?intelligent" Cyber-Physical Systems (CPSs). Moreover, IDEA group intends to favor synergies between academia and industry. In this talk we will present our current research in the field of Formal Verification in the context of different EU and national projects focused on the design of CPSs.


Luca Pulina is Associate Professor of Computer Science at the University of Sassari. He obtained his Ph.D. in Computer Engineering and Robotics from the University of Genoa in 2009. His research interest are mainly in the field of AI, with a focus on systems and techniques for automated reasoning and machine learning, and applications to modeling and verification of cyber-physical systems. He has published more than sixty papers in international workshops, conferences and journals including AAAI, IJCAI, CAV, Constraints, and TPLP. He is current co-director of the IDEA Lab at University of Sassari and he is involved as principal investigator or participant in European and national research and technology transfer projects. More information available at
Invited by Martina Seidl

The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).
List of all talks
Last modified on Thursday, 01-Jan-1970 01:00:00 CET