【10-27】SKLCS Seminar on”TrustInSoft Analyzer: a formal methods-based software for industry”

Title: TrustInSoft Analyzer: a formal methods-based software for industry
Speaker: Xiao Xu (TrustInsoft Key Account Manager – China)
Yichen Qiu (TrustInSoft Technical pre-sale and support engineer)
Huisong Li (TrustInSoft Research & Developemnt engineer)
Time: 2023年10月27号（周五），10:00-11:30am
Venue: 线下：中科院软件所5号楼三层334报告厅
线上：腾讯会议 105-273-857
Abstract: TrustInSoft is revolutionising software by making the power of formal methods accessible, empowering developers to guarantee the safety and security of the code the world depends on. From the scientific world to the industry, TrustInSoft Analyzer goes further than any other static analysis tool by focusing on the semantics of the code, rather than syntax, using formal methods. TrustInSoft Analyzer mathematically proves the absence of even the most hidden bugs and integrates easily in the CI process. In this talk, we will give an overview of TrustInSoft analyzer as well as a demonstration.
Bio: Xiao Xu is interested in EU-China High-Tech Collaborations, EU-China Business Developments, EU-China Government & Public Affairs. He got his PhD in Mathematics & Computer Science (System Safety & Security by Formal Verification) from Université Grenoble Alpes and he is specialized in IT & Aviation: Legislation, Regulation, Certification, Scientific Collaboration, Safety, Security.

Yichen Qiu is an experienced C/C++ developer in desktop and embedded realm, he is more focused on the language itself. He got his master’s degree in Computer engineering from Pierre and Marie Curie University, aka Paris-6.

Huisong Li is interested in formal methods and the application of formal methods in real world programs, especially abstract interpretation. She got her PhD in Mathematics & Computer Science (Static analysis by Abstract interpretation) from école normale supérieure, Paris.