Ph.D. (Candidate) - Kansas State University, USA
M.Tech. - 2014, Indian Statistical Institute, India
M.C.A. - 2010, Motilal Nehru National Institute of Technology, India
B.Sc. - 2003, University of Allahabad, India
Mathematics and Statistics
Tel: (+1) 785-706-3358
Ratan Lal is a Ph.D. candidate in the department of computer science at Kansas State University, USA.
He obtained his master in computer science from Indian Statistical Institute, India in 2014. He was a research
assistant at IMDEA Software Institute, Spain from July 2014 to December 2015. He was a research intern at Toyota Motor North America,
Research and Development (TMNA R&D) in summer 2019. His main research interest is in the Formal Analysis of
(Stochastic) Cyber-Physical Systems and its applications in automotive, robotics, unmanned aerial vehicle (UAV),
and autonomous underwater vehicle (AUV), with emphasis on both theoretical and practical methods for the design
and verification of hybrid control systems. He has been awarded the Gattani Outstanding Graduate Student Award
for his research outstanding at Kansas State University.
He has been serving as a member of research evaluation
program committee for the top conferences: International Conference on Hybrid Systems: Computation
and Control (HSCC), International Conference on Computer-Aided Verification (CAV).
Also, he has
been serving as a technical program committee for the international conferences: Advances in Computation,
Communications and Services (ACCSE). He has reviewed
more than 50 papers for the international conferences and journals related to cyber-physical systems.