Registered user since Mon 30 Dec 2024
Name:Qin Li
Country:China
Affiliation:Shanghai Key Laboratory of Trustworthy Computing, East China Normal University
Research interests:Trustworthy AI, Formal Modeling and Verification, AI4SE, FM4AI
Contributions
Using general profile