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

Shriram Krishnamurthi | Synapse

SK

Shriram Krishnamurthi

Logic, programming, and type systems

John Brown University

About

Research focus

Logic, programming, and type systems

Impact

345 pubs · 8,329 cites · h-index 51

Affiliations

Work Experience

John Brown University

2001 - Present

Brown University

2001 - 2025

University of Kent

2019 - 2019

Pliant (United States)

2019 - 2019

Providence College

2013 - 2013

Publications