Vishal's research focuses on broader perspectives of the Cyber-Physical System (CPS), 5G and Beyond Security, Internet of Things, Unmanned Aerial Systems, and Blockchain. He is interested in formal methods of verification, simulations, and hardware-in-the-loop. He has a track record of high-quality research publications, project-participations, the development of simulators and live-systems, and he is ambitious about answering concerns of secure and responsible computing through behavior-verification of computing-infrastructure.
