研究方向 ·如何算的“快”? 如何充分利用多核(众核)计算资源,解决计算问题? 新的算法、操作系统、编程语言和模型等 ·如何算的“对”? 软件的正确性、可靠性、安全性等 高可信软件:如何开发没有bug的软件? ·如何服务于新兴的计算需求? 如何从性能和可靠性两个方面为新兴应用提供支持? 应用:嵌入式和移动系统、网络、云计算、大数据研究方向 • 如何算的“快”？ • 如何充分利用多核（众核）计算资源，解决计算问题？ • 新的算法、操作系统、编程语言和模型等 • 如何算的“对”？ • 软件的正确性、可靠性、安全性等 • 高可信软件：如何开发没有bug的软件？ • 如何服务于新兴的计算需求？ • 如何从性能和可靠性两个方面为新兴应用提供支持？ • 应用：嵌入式和移动系统、网络、云计算、大数据