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

Manasvi Saxena | Synapse

MS

Manasvi Saxena

Security and Verification in Computing

University of Illinois Urbana-Champaign

About

Research focus

Security and Verification in Computing

Impact

9 pubs · 641 cites · h-index 5

Affiliations

Work Experience

University of Illinois Urbana-Champaign

2016 - 2023

Urbana University

2023 - 2023

University of Illinois System

2023 - 2023

Runtime Verification (United States)

2016 - 2018

Publications