Research Interests Posted on 07/05/2020 by Shouvik Control Theory Deep Learning Autonomous Systems Formal Verification Runtime Safety Assurance Simplex Architecture Networked Microgrids