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

Cyrus Omar | Synapse

CO

Cyrus Omar

Logic, programming, and type systems

University of Michigan

About

Research focus

Logic, programming, and type systems

Impact

55 pubs · 656 cites · h-index 12

Affiliations

Work Experience

University of Michigan

2021 - Present

University of Michigan–Flint

2021 - 2021

University of Chicago

2018 - 2019

Carnegie Mellon University

2012 - 2018

University of Pittsburgh

2012 - 2012

Publications