电 话：(0551)63601556
E-Mail：llxx@ustc.edu.cn
个人主页：http://staff.ustc.edu.cn/~llxx
主要研究方向：嵌入式实时系统、低功耗系统、智能计算机系统
李曦，博士，1963年8月生于北京，教授级高工，博导。本科毕业于成都气象学院，研究生毕业于中国科技大学计算机系，获计算机系统结构博士学位。长期主讲本科生“计算机组成原理”和研究生“嵌入式系统设计方法”等课程。在国内外核心学术期刊和高水平学术会议上发表SCI/EI检索论文60余篇，译著一部，参编一部。2022年编著《实时嵌入式系统设计方法》，由教育部软件工程教指委推荐出版，为国内第一部面向该领域的研究生教材。先后负责或参与国家自然基金、重点研究计划等纵横向科研项目30余项，承担省部级教学研究课题多项。其研究小组在国内最早开展系统级低功耗优化理论和技术、ASIP体系结构设计与验证、操作系统模型、可重构计算、智能计算机系统结构等研究，持有相关技术专利多项，并与工业界建立了长期持久的合作关系。当前重点关注高性能时间可预测体系结构设计问题。
获奖情况：
1. 1.唐立新教学名师奖，2018
2. 2.安徽省教学成果，一等奖，2010，排名第一
代表性论著：
1. YinKang Gao, Bo Zhang, Yixuan Zhu, Lei Gong, Teng Wang, Wenqi Lou, Chao Wang, Xi Li, Xuehai Zhou: TSI: A Time-semantic Instruction Set for Deterministic Data-flow Execution in Real-time Embedded Systems, RTSS 2025.
2. Bo Zhang, Caixu Zhao, Yinkang Gao, Yixuan Zhu, Lei Gong, Teng Wang, Wenqi Lou, Xi Li, Optimizing utilization in logical execution time system with preserved externally-observable timed I/O semantics, Journal of Systems Architecture, Volume 168, 2025
3. B. Zhang, Y. Gao, C. Zhao and X. Li, Instruction-Level Support for Deterministic Dataflow in Real-Time Systems, EMSOFT25, in IEEE Embedded Systems Letters, vol. 17, no. 5, pp. 341-344, Oct. 2025
4. Y. Zhu, W. Lou, Y. Gao, B. Jiang, X. Gong and X. Li, Fine-Grained Shared Cache Interference Analysis Using Basic Block's Execution Time, 2024 IEEE 42nd International Conference on Computer Design (ICCD), Milan, Italy, 2024, pp. 320-323
5. 高银康,陈香兰,龚小航,等.基于RPU的TTI程序设计和分析方法[J].计算机研究与发展, 2024, 61(1):98-119
6. 蒋滨泽,朱钇宣,陈香兰,等.最坏执行时间分析中的时序异常问题[J].计算机研究与发展, 2024, 62(4):1033.
7. B. Zhang, C. Zhao and X. Li, External Timed I/O Semantics Preserving Utilization Optimization for LET-Based Effect Chain, EMSOFT23, in IEEE Embedded Systems Letters, vol. 15, no. 4, pp. 198-201, Dec. 2023
8. 汪超;陈香兰;章博;李曦;王超;周学海，一种具有时间语义的实时处理器模型[J]. 计算机研究与发展, 2021, 58(6):1176-1191.
9. Lei Gong, Chao Wang, Xi Li, Xuehai Zhou，Improving HW/SW Adaptability for Accelerating CNNs on FPGAs Through A Dynamic/Static Co-Reconfiguration Approach. IEEE Trans. Parallel Distributed Syst. 32(7): 1854-1865 (2021)
10. Bo Wan, Xi Li, Bo Zhang, Caixu Zhao, Xianglan Chen, Chao Wang, and Xuehai Zhou, DCW: A Reactive and Predictable Programming Framework for LET-based Distributed Real-time Systems，ACM TRANS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS，卷: 24期: 3，2019，SCI【引15】
11. Chen Bo, Li Xi, Zhou Xuehai. Model Checking of MARTE/CCSL Time Behaviors Using Timed I/O Automata[J]. Journal of Systems Architecture, v88，p120-125，2018，SCI
12. Wan B , Li X , Luo H , et al. Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical Systems[C]. Proceedings - Real-Time Systems Symposium，v2018，p363-365，2017，SCI
13. 李曦,孙贝磊,万波,等.安全关键信息物理系统的时序可预测性[J].计算机科学, 2017, 44(B11):4.
14. Sun B , Li X , Wan B , et al. Definitions of predictability for Cyber Physical Systems[J]. Journal of Systems Architecture, 2016, 63:48-60. SCI
15. Wang C , Li X , Chen Y , et al. Service-Oriented Architecture on FPGA-Based MPSoC[J]. IEEE Transactions on Parallel and Distributed Systems, 2017, 28(10):2993-3006. SCI
