Postdoctoral Researchers
Thomas Soullard
Formal verification of multi-agent systems
Télécom Paris
2025/26 — present
James Ortiz
Attack graph based games analysis
Télécom Paris
2023/24 — 2024/25
Davide Catta
Security hardening based on multi-agent system verification
Télécom Paris
2021/22 — 2022/23
PhD Students
Marco Aruta
New application frontiers in the development of formal methods for multi-agent systems
University of Naples
2024/25 — present
David Cortes
Identification and assessment of the risk level associated with attack scenarios (IP Paris doctoral school)
Télécom Paris
2024/25 — present
Axel Oscar
Dynamic cybersecurity strategies for automotive CPS (IP Paris doctoral school)
Télécom Paris
2024/25 — present
Vladana Perlic
Improvement of advanced RAG techniques for text analysis through image analysis and knowledge graphs (IP Paris doctoral school)
Télécom Paris & STMicroelectronics
2024/25 — present
Gabriel Ballot
Multi-agent system verification for moving target defence (IP Paris doctoral school)
Télécom Paris & EDF Lab
2022/23 — 2024/25
Silvia Stranieri
Strategy Logic with simple goals
University of Naples
2020/21
Abbas Slimani
An abstraction-based method for verifying strategic properties in MAS
University of Evry
2018/19 — 2019/20
Internship Students
Wissal Dahani
Reasoning about real-time and probability on logics for dynamic models
IMT Atlantique
2024/25 — 4 months
Blondelle Kana
Towards the verification of smart contracts
University of Modena and Reggio-Emilia
2024/25 — 6 months
Sarra Zaghbib
Best strategy to identify opponents’ profiles in MAS
Télécom Paris
2024/25 — 4 months
Francesco Improta
Formal specification in multi-agent systems
University of Naples
2024/25 — 6 months
Salvatore Romano
Formal verification for AI players
University of Naples
2024/25 — 6 months
Marco Aruta
Natural strategies in VITAMIN
University of Naples
2022/23 — 18 months
2023/24
Luca Malangone
Dynamic models in VITAMIN
University of Naples
2023/24 — 6 months
Clément Naves
Attack graphs in VITAMIN
Télécom SudParis
2023/24 — 3 months
Valentin Denée
Reasoning about natural strategies
ENS Paris-Saclay
2022/23 — 6 months
Alfredo Laino
A hierarchical tool for MAS
University of Naples
2022/23 — 6 months
Chloe Lebret
Model checking: CapATL logic
ENSTA
2022/23 — 3 months
Giulia Luongo
ATL and ATLF in VITAMIN
University of Naples
2022/23 — 6 months
Antonina Mijatovic
Formal verification of attack graphs
LIX
2022/23 — 3 months
Johanna Ulin
Formal verification of attack graphs
LIX
2022/23 — 3 months
Hisham Unniyankal
A formal reward machine framework for reinforcement learning
University of Genoa
2022/23 — 6 months
Gabriel Ballot
MAS verification for MTD
Télécom Paris
2021/22 — 9 months
Paolo Lambiase
Dynamic Escape Game
University of Naples
2016/17 — 3 months
Marco Tafuto
A tool for counting strategies
University of Naples
2014/15 — 3 months