Scholar
Asankhaya Sharma
Google Scholar ID: FnD5B1QAAAAJ
Adjunct Professor
Citations & Impact
Citations
969
H-index
12
i10-index
12
Publications
20
Co-authors
27
list available
Contact
Publications
Resume
Academic Achievements
- Paper 'Specifying Compatible Sharing in Data Structures' published at ICFEM 2015
- Paper 'Certified Reasoning with Infinity' published at FM 2015
- Paper 'Verified Subtyping with Traits and Mixins' published at FSFMA 2014
- Paper 'HIPimm: Verifying Granular Immutability Guarantees' published at PEPM 2014
- Paper 'A Refinement Calculus for Promela' published at ICECCS 2013
- Paper 'Towards Complete Specifications with an Error Calculus' published at NFM 2013
- Bronze Medal, ACM Student Research Competition (ICSE 2014)
- ACM SIGSOFT Top 10 Downloaded Articles (2015)
- Microsoft Research Grant: 'Virtual Appliance for Software Verification Research' (2014)
Research Experience
- Co-Founder & CTO, Patched (YC S24) (2024–present)
- Founder & CEO, Securade.ai (2023)
- Director of Incubation, Veracode (2019–2022)
- Director of Software Engineering, CA Technologies (2018–2019)
- Head of R&D, SourceClear (2014–2018)
- Senior Software Engineer, Microsoft (2007–2010)
