Pulse एक्सप्लोर nav.journalClub बहसें ट्रेंडिंग शोधकर्ता

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

Download on theApp Store

होम एक्सप्लोर nav.journalClub ट्रेंडिंग

⌘+K

Darya Kurilova | Synapse

DK

Darya Kurilova

Logic, programming, and type systems

Carnegie Mellon University

About

Research focus

Logic, programming, and type systems

Impact

13 pubs · 311 cites · h-index 5

Affiliations

Work Experience

Carnegie Mellon University

2013 - 2016

Publications