Kaustabha Ray received his PhD from Indian Statistical Institute, Kolkata. His areas of research involves Formal Verification, Formal Synthesis, Reinforcement Learning and its applications to Cloud and Edge Systems. He has published in several leading international conferences and journals.
There aren’t any IBM publications to show for Kaustabha Ray. For a complete publication history, visit Google Scholar.