About


Teaching

Fall 2020: MIT 16.30/31 Feedback Control Systems

Spring 2021: MIT 16.S398 Formal Methods for Safe Autonomous Systems