Ratan Lal is a PhD candidate in the department of computer science at Kansas State University, USA. He obtained his master's in computer science and computer application from Indian Statistical Institute and Motilal Nehru National Institute of Technology, India in 2012-2014 and 2007-2010, respectively. He obtained a Bachelor of Science in Mathematics and Statistics from the University of Allahabad, India in 2003-2006. He was a research assistant at IMDEA Software Institute, Spain in 2014-2015. His main research interest is in the Formal Analysis of Uncertain Cyber-Physical Systems and its applications in automotive, robotics, and UAV, with emphasis on both theoretical and practical methods for verification and synthesis 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 published papers in the top conferences of cyber-physical systems: International Conference on Embedded Software (EMSOFT), IEEE Real-Time Systems Symposium (RTSS), IEEE Conference on Decision and Control (CDC), International Conference on Quantitative Evaluation of SysTems (QEST), and International Conference on Formal Methods and Models for System Design (MEMOCODE). He has been serving as a member of the research evaluation program committee of the top conferences: International Conference on Hybrid Systems: Computation and Control (HSCC), International Conference on Computer-Aided Verification (CAV). He has reviewed more than 50 papers for international conferences and journals in cyber-physical systems and its applications.