TIC is a laboratory dedicated to trustworthy artificial intelligence research, affiliated with the School of Software Engineering at East China Normal University. Our goal is to develop safe, reliable, and transparent AI systems.

Our research directions include:

• Verification And Training Of Neural Networks and RL Systems
• LLM Testing