Pulse Entdecken nav.journalClub Debatten Trends Forschende

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

Vineeth Kashyap | Synapse

VK

Vineeth Kashyap

Security and Verification in Computing

Hewlett-Packard (United States)

About

Research focus

Security and Verification in Computing

Impact

31 pubs · 618 cites · h-index 10

Affiliations

Work Experience

Hewlett-Packard (United States)

2026 - Present

GrammaTech (United States)

2017 - 2020

University of California, Santa Barbara

2011 - 2015

University of Graz

2015 - 2015

Publications