Registered user since Thu 5 Apr 2018
Name:Ridhi Jain
Country:United Arab Emirates
Affiliation:Technology Innovation Institute (TII), Abu Dhabi, UAE
Personal website: https://www.linkedin.com/in/ridhi-jain-021593112/
X (Twitter): https://x.com/iamridhijain
GitHub: https://github.com/ridhij93
Research interests:Program Analysis, Formal Verification, Software Security
Contributions
Using general profile