Adaptive Service Placement for Multi-Access Edge Computing: A Formal Methods Approach
- 2023
- ICWS 2023
Kaustabha Ray received his PhD from Indian Statistical Institute, Kolkata. His areas of research involve Optimization, Formal Verification, Formal Synthesis, Reinforcement Learning and its applications to Cloud and Edge Systems. He has published in several leading international conferences and journals.