I am Ratan Lal, a third year Ph.D. student in Dr. Pavithra Prabhakar‘s group at Kansas State University. Before joining KSU, I worked with Dr. Pavithra Prabhakar as a Research Assistant at IMDEA Software Institute, Madrid, Spain. I got Master of Technology in Computer Science (M.Tech.(CS)) from Indian Statistical Institute, Kolakata, Master of Computer Application (M.C.A.) from Motilal Nehru National Institute of Technology, Allahabad, and Bachelor of Science in Mathematics and Statistics (B.Sc.(Maths & Stats)) from University of Allahabad.
Formal verification of cyber-physical systems, application of formal verification for systems such as Aircraft, Robots,Medical devices, and etc.