Experience
Education
Bio
Lavindra's research interests lie in AI and in applying AI to manufacturing and robotics. More specifically, he is interested in: developing novel hierarchical and hybrid (AI) planning approaches, including unifying the task and motion planning algorithms that are used in AI and robotics; in developing formal semantics for autonomous (and typically BDI-style) agent systems, including semantics for concurrency; and in the synthesis of provably correct controllers for robotics and manufacturing.