Sayan is giving a talk on Verified robot code for the C3.ai Digital Transformation Institute's Workshop on Safe Autonomy. Dec 8, 2020
talk
We will be recruiting PhD students and Postdocs for fall 21. Apply to eceillinois and drop me an email if interested. Nov 20, 2020
Our Koord paper on programming robots is being presented by Chiao Hsieh at OOPSLA20, SPLASH20. Nov 17, 2020
talk
Chuchu is awarded the CSL doctoral dissertation prize! Congratulations! Sep 23, 2020.
thesismedia
Fast, discretization-free, controller synthesis for nonlinear models. New paper and open source tool developed by Kristina and Chuchu. Paper appeared in CAV 2020. July 31, 2020.
talk
Our new course on Principles of Safe Autonomy is covered by the College of Engineering. July 27, 2020.
media