Leonidas Tsiopoulos is a senior research scientist at TalTech with expertise in application of formal methods to critical systems development. The range of applications spans from many-core HW/SW embedded platforms to mixed-critical systems with hard real-time properties. Special focus has been put on the integration of complementary formal methods to better address the synergetic development of various system design views and eliminate verification scalability issues.
Cybersecurity for the maritime sector has emerged as one of the most critical domains worldwide requiring an integrated approach of system development methods to provide verified safe- and secure-by-design solutions. Leonidas will contribute to this research direction.
How do you see your role in the Horizon 2020 ERA Chair project?
My role is to help write good quality academic research papers and to prepare new project proposals so that we can get funding to continue our work for the maritime domain.
Why is Estonia/TalTech the best place for the ERA Chair project in maritime security?
The Baltic sea is one of the most busy regarding maritime traffic and also a very strategic place geographically with crucial needs for cybersecurity. Estonia is one of the top countries regarding digital solutions and software development and TalTech one of Estonia’s top universities.
What are the main challenges in the project?
The main challenges regarding research is non-availability of data, overall, and very complex cyber threat landscape.
How do you see the future of the Center?
I see the future of the Center bright and being involved in several maritime research projects.
What would be the key experience you take with you from the past to the project?
Developing correct-by-construction critical systems with advanced verification methods.
What connects you to the sea and maritime sector?
Since my birth I have spent all my summers by the sea enjoying every aspect of it.
Contact: leonidas.tsiopoulos@taltech.ee
