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 experimentation. 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