Teaching

Course Materials

CS2501H: Discrete Mathematics (Honor) (Zhiyuan Honor Course)

Part I: Propositional Logic [Lecture Notes 1]
Part II: Predicate Logic [Lecture Notes 2]
Part III: Set Theory [Lecture Notes 3]
Part IV: Relations [Lecture Notes 4]
Part V: Functions [Lecture Notes 5]
Part VI: Graph Theory [Lecture Notes 6]

AU7022H: Stochastic Methods in Systems & Control (Honor) (Zhiyuan Honor Course)

Lecture 1: Probability Space [Lecture Notes 1]
Lecture 2: Random Variables [Lecture Notes 2]
Lecture 3: Functions of Random Variables [Lecture Notes 3]
Lecture 4: Conditional Expectations [Lecture Notes 4]
Lecture 5: Stochastic Processes & Martingales [Lecture Notes 5]
Lecture 6: Stopping Times [Lecture Notes 6]
Lecture 7: Markov Chains [Lecture Notes 7]
Lecture 8: Sufficient Statistics [Lecture Notes 8]
Lecture 9: Bayes Estimation of Random Parameters [Lecture Notes 9]
Lecture 10: Non-Random Parameter Estimations [Lecture Notes 10]
Lecture 11: Stochastic Control Systems [Lecture Notes 11]
Lecture 12: Finite Horizon Stochastic Optimizations [Lecture Notes 12]
Lecture 13: Infinite Horizon Markov Decision Problems [Lecture Notes 13]
Lecture 14: Model-Free Stochastic Control and Learning [Lecture Notes 14]

Formal Methods in Dynamic Systems [Course Videos] (summer school course taugt at Xiamen University)

Part I: Formal Modeling with Labeled Transition Systems [Slides 1]
Part II: Formal Properties, Bisimulation & Abstraction [Slides 2]
Part III Linear Temporal Logics [Slides 3]
Part IV: Automata-Based Verification of LTL [Slides 4]
Part V: Game-Based LTL Control Synthesis [Slides 5]

MEM6003: Engineering Economics (National MEM Online Exemplary Course)

Resources will be added soon.

Courses Taught by Year

Fall 2024, CS2501H: Discrete Mathematics (Honor), undergraduate course for Zhiyuan Honor Program, 48 Hours.

Fall 2024, AU7022H: Stochastic Methods in Systems & Control (Honor), graduate course, 48 Hours.

Fall 2024, MEM6003: Engineering Economics, graduate course for MEM, 36 Hours.

Fall 2024, IINF-04/A: Formal Verification and Synthesis for Dynamical Systems: A Temporal-Logic-Based Approach, PhD courses at University of Cagliari, 4 Hours.

Fall 2023, CS2501H: Discrete Mathematics (Honor), undergraduate course for Zhiyuan Honor Program, 48 Hours. (A0 Level, Ranked 21/999 in overall SJTU courses)

Fall 2023, AU7022H: Stochastic Methods in Systems & Control (Honor), graduate course, 48 Hours.

Fall 2023, MEM6003: Engineering Economics, graduate course for MEM, 36 Hours.

Fall 2022, CS2501H: Discrete Mathematics (Honor), undergraduate course for Zhiyuan Honor Program, 48 Hours. (A0 Level, Ranked 10/993 in overall SJTU courses)

Fall 2022, AU7022H: Stochastic Methods in Systems & Control (Honor), graduate course, 48 Hours.

Fall 2022, MEM6003: Engineering Economics, graduate course for MEM, 36 Hours.

Fall 2021, CS2501H: Discrete Mathematics (Honor), undergraduate course for Zhiyuan Honor Program, 48 Hours. (A0 Level, Ranked 2/944 in overall SJTU courses)

Fall 2021, AU7022: Stochastic Methods in Systems & Control, graduate course, 48 Hours.

Fall 2021, MEM6003: Engineering Economics, graduate course for MEM, 36 Hours.

Spring 2021, AU7022: Stochastic Methods in Systems & Control, graduate course, 48 Hours.

Spring 2021, AU302: Modern Control Theory, undergraduate course, 48 Hours.

Fall 2020, CS2501H: Discrete Mathematics (Honor), undergraduate course for Zhiyuan Honor Program, 48 Hours. (A0 Level, Ranked 19/917 in overall SJTU courses)

Fall 2020, MA238: Discrete Mathematics, undergraduate course, 48 Hours.

Fall 2020, GE6001: Scientific Writing, Integrity and Ethics, graduate course, 16 Hours.

Fall 2020, MEM6003: Engineering Economics, graduate course for MEM, 36 Hours.

Summer 2020, Formal Methods in Dynamic Systems, summer course for Xiamen University, 16 Hours.

Springer 2020, AU302: Modern Control Theory, undergraduate course, 48 Hours.

Springer 2020, MEM6003: Engineering Economics, graduate course for MEM, 36 Hours.

Fall 2019, MA238: Discrete Mathematics, undergraduate course, 48 Hours.

Fall 2019, GE6001: Scientific Writing, Integrity and Ethics, graduate course, 16 Hours.

Springer 2019, MEM6003: Engineering Economics, graduate course for MEM, 48 Hours.

Teaching Awards

Zhiyuan Honorary Faculty, Shanghai Jiao Tong University, 2024.

Second Prize of Teaching and Education Award, Shanghai Jiao Tong University, 2023.

Kai-Yuan Outstanding Top 10 Teacher Award, Shanghai Jiao Tong University, 2022.

First Place in the 6th Teaching Competition, Shanghai Jiao Tong University, 2021.

First Place in the 5th Teaching Competition, School of Electronic Information and Electrical Engineering, 2021.