Trustworthy Intelligent Systems

Skip to content
  • Home
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Contact
  • Sino-Europe institute

Teaching

As one of our main goals, our group aim at providing various courses to students with high quality. All of the courses aim at both developing a firm understanding of the theory, along with practical experimentations. Below we detail the main courses we offer for both undergraduate to graduates.

  • First-year undergraduate course at UCAS: Discrete Mathematics
  • Graduate course: Formal Methods
  • Graduate course: Reinforcement Learning
  • Graduate course: Algorithm Design and Analysis

Admin area

  • Log in
Proudly powered by WordPress