Research Publications Teaching Group

My research lies at the intersection of formal methods for reasoning about software and systems, foundations of cyber-physical systems (CPS), control theory, and mathematical logic. I am increasingly interested in reasoning about real-world CPS applications that use AI components trained with machine learning algorithms. Here are some of the topics on which I am actively working:

There shall be a day when there are better descriptions of above projects with pictures. Sadly, today is not that day.