Stylianos Basagiannis

Stylianos Basagiannis

Advisory Board

Stylianos Basagiannis is a Associate Director – Cyber, Connected & Intelligent systems. with Collins Aerospace ART with a focus in all-systems cyber security, certification, formal verification and validation
He was previously a Principal Research Engineer at United Technologies Research Centre (now part of Raytheon Technologies), specializing in cyber-physical systems, formal methods, cybersecurity, and system safety and assurance.
He plays a leading role in advanced research and engineering for safety- and security-critical applications in aerospace and beyond, including collaboration on digital security solutions for smart aerospace systems.
He earned his Ph.D. from Aristotle University of Thessaloniki in Greece, with a thesis titled “Development of formal methods for the verification of security protocols”, completed in 2009.

Last updated: 5 December 2025

Research Programmes in these themes

AIRIS

A RegTech platform for reporting serious AI incidents under Article 73 of the EU AI Act, connecting enterprise compliance systems directly to regulators.

University of Galway

Lead: Dr. Fatemeh Ahmadi Zeleti

Data Security, Privacy & Governance

KG Ark

Creates privacy-preserving synthetic knowledge graphs that retain the relationships and semantic context of real data, unlocking restricted datasets for AI.

Dublin City University

Lead: Sukanya Mandal

Data Security, Privacy & Governance

InvizCrypt

End-to-end encrypted document collaboration where keys never leave the browser, so no provider can read or be compelled to disclose your content.

Trinity College Dublin

Lead: Dr. Hitesh Tewari

Data Security, Privacy & Governance

Ready to start collaborating?

Let's discuss how The ARC Hub for ICT can help accelerate your digital transformation initiatives and bring your innovative ideas to life.