PROGRAM

(core+options)
• Simulation and Metrology
• Virtualization: Concept and implementation
• Dynamic Systems, autonomous and self-adaptative
• Network Security and Privacy
• Network Science and Graph Learning
• Wireless network and IoT
• Centralized/Cloud-Based Radio Access Networks
• Middleware for distributed Applications
• Formal System Testing
• Software Model based Testing
• Global Laboratory for Industry-Driven Software Development
• Computational logic
• Algorithm analysis and Computational Complexity
• Software Defined Networks
• Machine Learning for Computer Networks and Services
• Formal Verification
• Algorithms for dynamic and reconfigurable distributed systems

INTERNSHIPS EXAMPLES

• Automated Validation of Best-Practices in Azure DevOps in ASTRA
• Synthetic Generation of realistic, automatic and responsive Content
Delivery Network traffic in Orange
• Outgoing portability planning in SFR
• Computer Science in Brain metrology in ENS Paris-Saclay
• Implementation of a LoRa communication chain and analysis of the susceptibility to jamming attacks in Gaspar Monge Laboratory