Adaptive Service Placement for Multi-Access Edge Computing: A Formal Methods Approach
- 2023
- ICWS 2023
Bio
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.
Publications
Projects
Sustainable Computing
Quantification, assessment, and optimization of carbon emissions in hybrid multicloud environments