Professor Panagiotis Katsaros, from Aristotle University of Thessaloniki, paid a visit to Sino-Europe Institute of Dependable and Smart Software during Jul. 21st – Aug. 5th, 2019. Professor Katsaros was invited to give us an excellent reports under the theme of dependable cyber-physical systems. He also listened to the report on our techniques of UAV collision avoidance and had an in-depth discussion with students on constructing and solving probabilistic models.
Biography: Prof. Panagiotis Katsaros is an Associate Professor in the School of Informatics of the Aristotle University of Thessaloniki, the largest University of Greece. His research interests are in the field of model-driven software and system engineering and focus on rigorous design and formal verification techniques, but he has also conducted research on the safety and security of systems and software.