Pulse استكشاف nav.journalClub النقاشات الرائج الباحثون

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

Download on theApp Store

الرئيسية استكشاف nav.journalClub الرائج

⌘+K

Amrita Chatterjee | Synapse

AC

Amrita Chatterjee

Formal Methods in Verification

Indian Institute of Technology Dhanbad

About

Research focus

Formal Methods in Verification

Impact

10 pubs · 70 cites · h-index 6

Affiliations

Work Experience

Indian Institute of Technology Dhanbad

2024 - 2024

University of North Dakota

2012 - 2021

University of California, Irvine

2012 - 2012

Publications