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

Sumukha Udupa | Synapse

SU

Sumukha Udupa

Formal Methods in Verification

University of Florida

About

Research focus

Formal Methods in Verification

Impact

12 pubs · 44 cites · h-index 3

Affiliations

Work Experience

University of Florida

2022 - Present

University of Michigan

2021 - 2021

Maharaj Vijayaram Gajapathi Raj College of Engineering

2017 - 2017

R.V. College of Engineering

2017 - 2017

Publications