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

TIS news

  • Pengfei Yang passed his PhD thesis defense
  • We organize MEMOCODE 2021
  • Junnan Xu Passed his master thesis defense
  • Xuechao Sun passed his master thesis defense
  • We co-organize LICS
  • JCST Special Section on Software Systems 2020
  • Yong Li passed his PhD thesis defense
  • Prof. Zhang was invited to give a lecture on SETSS 2018
  • SETTA’17 best paper award
  • ePMC is publicly available
  • <<
  • 1
  • 2
  • 3
  • 4
  • >>
Proudly powered by WordPress