Pulse 探索 nav.journalClub 議論トレンド研究者

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

Download on theApp Store

ホーム探索 nav.journalClub トレンド

⌘+K

Richard C. Waters | Synapse

RC

Richard C. Waters

Logic, programming, and type systems

University of Houston - Downtown

About

Research focus

Logic, programming, and type systems

Impact

111 pubs · 2,783 cites · h-index 25

Affiliations

Work Experience

University of Houston - Downtown

2026 - Present

University of Washington

2016 - 2025

Downtown Women's Health Care

2025 - 2025

Neighborcare Health

2016 - 2023

Harvard University

2016 - 2016

Publications