Computer Science ColloquiumIm 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
University of Sassari, Italyüber das Thema:
Formal Methods and Cyber-Physical Systems: Research Activities and Funded Projects at the IDEA LabZeit: Tue 6.11.2018, 14:00, 60 Minuten
Ort: Johannes Kepler Universität, Science Park 3, Raum 247
ZusammenfassungThe Intelligent system DEsign and Applications (IDEA, http://idea.uniss.it) 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.
VortragenderLuca 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 http://idea.uniss.it
Einladender: Prof.in Dr.in Martina Seidl
Liste aller Vorträge