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

Alexey Radul | Synapse

AR

Alexey Radul

Logic, programming, and type systems

Google (United States)

About

Research focus

Logic, programming, and type systems

Impact

42 pubs · 3,235 cites · h-index 12

Affiliations

Work Experience

Google (United States)

2019 - 2023

National University of Ireland, Maynooth

2012 - 2019

Massachusetts Institute of Technology

2006 - 2018

Moscow Institute of Thermal Technology

2010 - 2010

Publications