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

Sivaram Gopalakrishnan | Synapse

SG

Sivaram Gopalakrishnan

Formal Methods in Verification

Ragas Dental College & Hospital

About

Research focus

Formal Methods in Verification

Impact

13 pubs · 60 cites · h-index 5

Affiliations

Work Experience

Ragas Dental College & Hospital

2018 - Present

Synopsys (United States)

2010 - 2010

University of Utah

2007 - 2009

Publications