基本信息
views: 1619
Career Trajectory
Bio
Dr. Liu specializes in cyber security and software engineering. His research has bridged the gap between the theory and practical usage of formal methods and program analysis to evaluate the design and implementation of software for high assurance and security. By now, he has more than 250 publications in top tier conferences and journals. He has received a number of prestigious awards including MSRA Fellowship, TRF Fellowship, Nanyang Assistant Professor, Tan Chin Tuan Fellowship, and 10 best paper awards and one most influence system award in top conferences like ASE, FSE and ICSE.
Research Interests
Papers共 746 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
arxiv(2024)
Cited0Views0Bibtex
0
0
Formal Methods in System Designpp.1-37, (2024)
CoRR (2024)
Cited0Views0EIBibtex
0
0
ACM Transactions on Software Engineering and Methodology (2024)
arxiv(2024)
Cited0Views0Bibtex
0
0
CoRR (2024)
Cited0Views0EIBibtex
0
0
IEEE TRANSACTIONS ON COMPUTERSno. 1 (2024): 58-72
CoRRno. FSE (2024): 1447-1470
CoRR (2024)
Cited0Views0EIBibtex
0
0
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn