ViewTube

Principal Engineer - Research @ Collins Aerospace.

Researcher and Engineer (Computer Scientist)
Formal Methods | Distributed Systems | Blockchain Security

PhD, CSA, IISc Bangalore. 
Security @ Informal Systems Inc.

Former Visiting Researcher, Max Planck Institute for Software Systems, Germany
Former RnD Engineer, Veridise Inc.
Cisco Ph.D. fellow 2020 @CSA, IISc