Computer Science

Computer Science Colloquium

Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht

Luca Pulina

University of Sassari, Italy

über das Thema:

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

Zeit: 2018-11-06 14:00:00.0, 60 Minuten
Ort: 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
Einladender: Martina Seidl
Liste aller Vorträge
Last modified on Thursday, 01-Jan-1970 01:00:00 CET