SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference

Registered user since Tue 14 Mar 2017

Name: sayan mitra

Bio: Associate Professor of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.

Country: United States

Affiliation: University of Illinois at Urbana-Champaign

Personal website: http://mitras.ece.illinois.edu/

Research interests: Verification, Control, Distributed Systems, Programming Languages, Robotics

Contributions

SPLASH 2020Author of Koord: a language for programming and verifying distributed robotics applications within the OOPSLA-track
Show activities from other conferences

Using general profile