Post Doctoral Associate
VERIMAG: PhD Computer Science and Mathematics
IIIT Hyderabad: MS by Research in Computer Science and Engineering.
IISER Pune: BS-MS Mathematics.
Formal methods, Embedded/Cyber Physical systems, Numerical techniques in verification, Falsification techniques.
Complex zonotopes: A new set representation for verification of hybrid systems.