IMDEA Software

IMDEA initiative

Home > People > Ratan Lal

Ratan Lal

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

Ratan Lal
MSc - Motilal Nehru National Institute of Technology Allahabad, India
Former PhD Student

Adviser: Pavithra Prabhakar

Research Interests

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