IMDEA Software

IMDEA initiative

Home > People

Ratan Lal

MS in Computer Applications - Motilal Nehru National Institute of Technology Allahabad, India

The information in this page may be outdated, as Ratan Lal is no longer a member of the Institute.

Former PhD Student

Ratan Lal

Research Interests

Reachability analysis of linear dynamical system with uncertain parameter, non linear dynamical system, application of reachability analysis in compositional verification.