Foundations of Multi-Agent Systems Verification
Telecom Paris2025 – present
MITRO212 – Formal Verification
Telecom Paris2024 – present
INF109 – Algorithms and fundamentals of computer science
Telecom Paris2023 – present
Embedded distributed real-time applications and systems
Sorbonne University2023 – present
SE301b – Modeling, Verification, and Generation of Complex Systems
Telecom Paris2022 – present
SLR202 – Software System Modelling and Design
Telecom Paris2020 – present
SLR204 – Basics of Verification of Distributed Systems
Telecom Paris2020 – present
INF101 – Algorithms and data structures
Telecom Paris2021 – 2023
SLR209 – SLR Seminar
2020 – 2023INF104&106 – Operating systems and C language
Telecom Paris2020 – 2023
INF103 – Java language
Telecom Paris2020 – 2021
Object programming
University of Evry2019 – 2020
Imperative programming
University of Evry2019 – 2020
System oriented programming
University of Evry2017 – 2018
Mathematical analysis I
University of Naples2015 – 2016
Lab Algorithms and data structures
University of Naples2014 – 2015
Copyright © 2015 Vadim Malvone. All rights reserved.