Teaching
-
Fall 2021: (CIS 775) Analysis of Algorithms (KSU)
-
Spring 2021: (CIS 770) Formal Language Theory (KSU)
-
Fall 2020: (CIS 890) Principles of Robot Motion (KSU)
-
Spring 2020: (CIS 770) Formal Language Theory (KSU)
-
Fall 2019: (CIS 775) Analysis of Algorithms (KSU)
-
Spring 2019: (CIS 770) Formal Language Theory (KSU)
-
Fall 2018: (CIS 890) Formal Verification of Hybrid Systems (KSU)
-
Spring 2018: (CIS 770) Formal Language Theory (KSU)
-
Fall 2017: (CIS 775) Analysis of Algorithms (KSU)
-
Spring 2017: (CIS 770) Formal Language Theory (KSU)
-
Fall 2016: (CIS 890) Formal Verification of Hybrid Systems (KSU)
-
Spring 2016: (CIS 770) Formal Language Theory (KSU)
-
Fall 2015: (CIS 890) Formal Verification of Hybrid Systems (KSU)
-
Fall 2014: Formal Verification of Cyber-Physical Systems (UPM/IMDEA)
-
Summer 2012: Verification of Hybrid Systems (Caltech)
-
Fall 2008, 2010: Modelling and Verifying Embedded Computing Systems. (Guest Lecturer, UIUC)