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

Members

Chairs

  • Lijun Zhang (张立军)
  • Zhilin Wu (吴志林)

Faculty

  • Andrea Turrini
  • David N. Jansen
  • Pengfei Yang (杨鹏飞)
  • Yong Li (李勇)

Adjuncted Faculty

  • Cheng-Chao Huang (黄承超)
  • Lu Zhao (赵鲁)

Students (Ph.D.)

  • Jinlong He (何锦龙)
  • Keyin Wang (王柯音)
  • Liang Zhang (张亮)
  • Renjue Li (李仞珏)
  • Shizhen Yu (于世禛)
  • Song Gao (高嵩)
  • Weizhi Feng (冯维直)
  • Zhiming Chi (迟智名)

Students (Master)

  • Denghang Hu (胡登杭)
  • Deqian Yang (杨德乾)
  • Tianhang Qin (秦天航)
  • Xie Li (李勰)
  • Xuandeng Fu (傅宣登)
  • Yicheng Liu (刘易铖)
  • Ying Liu (刘颖)
  • Yutian Zhu (朱雨田)
  • Zongxin Liu (刘宗鑫)
  • Tao Gan (甘涛)

Alumni

  • Chen Fu (付辰)
  • Jianlin Li (李建霖) (moved to University of Waterloo, Canada)
  • Depeng Liu (刘德鹏)
  • Junnan Xu (徐俊楠)
  • Xuechao Sun (孙学超)

Internships

  • Thomas Neele
  • Yi Li

Visitors

  • Andreas Zeller
  • Annabelle McIver
  • Arnd Hartmanns
  • Carroll Morgan
  • Holger Hermanns
  • Joost-Pieter Katoen
  • Karina Wimmer
  • Ralf Wimmer
  • Sebastian Junges
  • Sven Schewe
  • Tom van Dijk
  • Yuan Feng
  • Yu-Fang Chen

Admin area

  • Log in
Proudly powered by WordPress