Kaustabha Ray received his PhD from Indian Statistical Institute, Kolkata. His areas of research involve Optimization, Formal Verification, Formal Synthesis, Reinforcement Learning applied to Cloud and Edge Systems. He has published in several leading international conferences and journals.