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
Shared 56 years ago
16K views
Shared 56 years ago
708 views
Shared 56 years ago
2K views
Shared 56 years ago
2.6K views
Shared 56 years ago
27K views