Arvind Adimoolam

Cornell University: Verifiable robotics

Post Doctoral Associate

Past:

VERIMAG: PhD Computer Science and Mathematics

IIIT Hyderabad: MS by Research in Computer Science and Engineering.

IISER Pune: BS-MS Mathematics.

Research Topics:

Formal methods, Embedded/Cyber Physical systems, Numerical techniques in verification, Falsification techniques.

Highlights:

Complex zonotopes: A new set representation for verification of hybrid systems.