معرفی
Natalia Kushik is a Lecturer at Telecom SudParis, part of the Institut Polytechnique de Paris. Her primary affiliation is with the ACMES (Algorithmics and Computer Models for Engineering and Systems) research group. Her research focuses on model-based testing methodologies, formal verification of systems, and applications in software-defined networking (SDN), cloud computing, and distributed systems.
Her work extensively employs finite state machines (FSMs) and automata theory to design test strategies for complex systems. Notable areas include deriving homing/synchronizing sequences for automata, race condition detection in distributed systems, and optimizing network configurations using timed models. She has contributed to improving the reliability and security of SDN controllers and cloud infrastructures through formal methods.
Recent trends in her publications emphasize probabilistic approaches for test suite minimization, emulation-based validation of dynamic networks, and formal analysis of reactive systems. She has collaborated on projects involving QoE (Quality of Experience) evaluation for multimedia services and fault models for digital circuits. Her work often bridges theoretical computer science with practical system implementation challenges.
Her articles frequently explore intersections between formal methods and real-world applications, such as applying cellular automata for network parameter modeling and using SMT solvers for configuration validation. She has also published on optimizing interpreted programming languages using state models and proactive trust assessment mechanisms for service systems.
Kushik’s research is characterized by interdisciplinary collaborations, with contributions to both academic conferences (e.g., ICTSS, ENASE) and industry-oriented venues (e.g., IEEE NCA). Her work addresses challenges in system reliability, security, and scalability across diverse domains like telecommunications, cloud computing, and embedded systems.
