Sayan Mitra, Computer Science
![](https://mitras.ece.illinois.edu/images/DACPS-cover.jpg)
Sayan Mitra's home page at UIUC
![](https://mitras.ece.illinois.edu/icons/twitter.png)
Sayan Mitra's home page at UIUC
sayan mitra - Software Engineer - RudderStack
Sayan Mitra's home page at UIUC
CSL researchers work to guarantee system reliability, Coordinated Science Laboratory
sayan mitra (@Mitrasayn) / X
![](https://popgri.github.io/Race/assets/images/working.jpg)
Code a Car
![](https://www.researchgate.net/publication/372408588/figure/fig1/AS:11431281175121253@1689596247921/Scenario-specification-snippet_Q320.jpg)
Sayan MITRA, Professor, Phd, MIT, University of Illinois, Urbana-Champaign, IL, UIUC, Department of Electrical and Computer Engineering
![](https://events.umich.edu/media/cache/event_large_lightbox/media/attachments/2020/08/event_76197_original-1.jpeg)
Expired) Chair's Distinguished Lecture: Abstractions for Robot Code
![](https://d2r55xnwy6nx47.cloudfront.net/uploads/2024/01/AutonomousSystems-bySenorSalme-Lede-scaled.webp)
How to Guarantee the Safety of Autonomous Vehicles
Sayan Mitra - Tech lead - Fiserv
![](https://0.academia-photos.com/attachment_thumbnails/105339526/mini_magick20230828-1-9fp61.png?1693230931)
PDF) Specifying and Proving Timing Properties with TIOA Tools
Sayan Mitra - The 10X Academy - Burdwan-II, West Bengal, India
![](https://aeroastro.mit.edu/wp-content/uploads/2021/09/headshot-faculty-chuchu-fan091521-MIT-0024-aspect-ratio-575-575-576x576-c-default.jpg)
Chuchu Fan - MIT AeroAstro
sayan mitra (@Mitrasayn) / X