Chief Scientist at Xcalibytei
He currently serves as chief scientist at Xcalibytei Technology, focusing on code verification infrastructure. He received his PhD in computer software and theory from University of Science and Technology of China in 2008. His academic research includes the application of language-based analysis technology in building efficient and reliable software, and published several journals and conference papers.After graduation, Dr. Li Joined Samsung Electronics to work as a statistical machine translator for the advanced technical group. In 2010, he joined the HP compiler team and worked on the HP Non-Stop compiler backend and SDK.