Pulse Explorar nav.journalClub Debates Tendências Pesquisadores

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

Download on theApp Store

Início Explorar nav.journalClub Tendências

⌘+K

Nishant Rodrigues | Synapse

NR

Nishant Rodrigues

Formal Methods in Verification

Institute of Flight

About

Research focus

Formal Methods in Verification

Impact

18 pubs · 579 cites · h-index 6

Affiliations

Work Experience

Institute of Flight

2026 - Present

Microsoft (United States)

2025 - 2025

University of Illinois Urbana-Champaign

2018 - 2024

Vellore Institute of Technology University

2020 - 2022

North Carolina State University

2016 - 2016

Publications