Public defence in Computer Science, M.Sc. Georgios Giantamidis

Title of the doctoral thesis: On Pragmatic System Design through Learning and Implementation-oriented Reachability Analysis

Doctoral student: Georgios Giantamidis
Opponent: Prof. Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
Kustos: Prof. Chris Brzuska, Aalto University School of Science, Department of Computer Science

Thesis available for public display 10 days prior to the defence at: https://aaltodoc.aalto.fi/doc_public/eonly/riiputus/

Better system design through learning and implementation analysis 

The need for formalization and verification in the design of complex systems is now more evident than ever. However, formal methods can sometimes be challenging to adopt in industrial environments. In particular, two broad categories of challenges can be identified: (a) The algorithmic challenge, which is about the ability of related tools and algorithms to scale to industrial size problems, and (b) the modeling challenge, which is about obtaining a formal system model as well as a formal specification of its behavior. To the end of easing integration of formal methods in industrial model-based system engineering workflows, a solution is developed in this thesis aiming to help address the modeling challenge through contributions to: (1) requirements formalization, (2) monitor generation, (3) model extraction from example behavior traces, and (4) reachability analysis for dynamical system implementations (C/C++ code).

Doctoral theses in the School of Science: https://aaltodoc.aalto.fi/handle/123456789/52