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

Konstantinos Mamouras | Synapse

KM

Konstantinos Mamouras

Logic, programming, and type systems

Rice University

About

Research focus

Logic, programming, and type systems

Impact

67 pubs · 582 cites · h-index 14

Affiliations

Work Experience

Rice University

2019 - Present

University of Pennsylvania

2016 - 2018

California University of Pennsylvania

2017 - 2017

Philadelphia University

2016 - 2017

Cornell University

2012 - 2016

Publications