SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Sayan Mitra

Registered user since Tue 14 Mar 2017

Name:Sayan Mitra
Bio:

Sayan Mitra is a Professor of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. His research interests are in formal verification, autonomous systems, and robotics. He holds a PhD from MIT, MSc from the Indian Institute of Science, Bangalore, and an undergraduate degree in Electrical Engineering from Jadavpur University, Kolkata. He was a postdoctoral fellow at the Center for Mathematics of Information of CalTech, and held visiting faculty positions at Oxford University and Kirtland Air Force Research Laboratory. Sayan received the National Science Foundation’s CAREER Award in 2011, AFOSR Young Investigator Research Program Award in 2012, IEEE-HKN C. Holmes MacDonald Outstanding Teaching Award (2013), a RiSE Fellowship from TU Vienna, and several best paper awards.

Affiliation:University of Illinois at Urbana-Champaign
Research interests:Verification, Control, Distributed Systems, Programming Languages, Robotics

Contributions

SPLASH 2021 Koord: a language for programming and verifying distributed robotics applications
Show activities from other conferences

Using general profile