Teaching

Fall 2020, 2021, 2022: MIT 16.30/31 Feedback Control Systems

Spring 2021, 2022: MIT 16.332 Formal Methods for Safe Autonomous Systems