TIS group
Welcome to the Trustworthy Intelligent Systems group website. The group mainly focuses on the application of formal methods on several scenarios of practical interests, like analysis of programs, verification of neural networks, and hardware correctness.
Our TIS group is part of the Key Laboratory of System Software at the Institute of Software, Chinese Academy of Sciences.
Latest news
- Paper accepted in Research Directions (14 Nov 2024)
- Paper accepted at SETTA’24 (01 Oct 2024)
- Paper accepted at NeurIPS’24 (27 Sep 2024)
- Paper accepted at PRCV’24 (28 Jun 2024)
- Papers accepted at FM’24 (11 Jun 2024)
Group members
The TIS group is led by Lijun Zhang, assisted by few faculty members and several master and Ph.D students in its research and teaching activities.
More information about the members of the TIS group can be found in the group members page.
Research
The TIS group is very active in several research field and is focused on applying formal methods to several practical problems, such as the verification of AI and neural networks, probabilistic model checking, and software analysis. The research is resulted in a number of publications, supported by several projects, providing new theoretical results that are supported and confirmed by tools developed by the groups members.
Please check the research directions and tools page for more details.
Teaching
Besides their research duties, the TIS group members are also in charge of giving courses on different topics. They lecture on discrete mathematics to first-year undergraduate students and on formal methods, reinforce learning, and algorithm design and analysis to graduate students.
Other activities
The TIS group members enjoy to take part to several other activities, such as reading groups with the students and badminton matches together with the several visitors the group is happy to host.