now163
- [2021-12-23]JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inference at Baidu2021-12-21
- 【2021-11-9】Constructive Bidirectional Programming2021-12-21
- 【2021-10-20】SKLCS Seminar on “机器学习公理化”2021-10-18
- 【2021-06-29】SKLCS Seminar on “智能化软件工程和智能软件工程:人工智能和软件工程的交叉融合”2021-10-18
- [06-16] Deductive Verification of Smart Contracts2021-06-11
- [05-07]Safety Design and Verification of Learning-Enabled Cyber-Physical Systems2021-05-07
- [01-20] 软件定义卫星与天智工程2021-01-20
- TR 2019-20202021-01-13
- [01-08] 基于定理证明的分离逻辑验证工具2021-01-07
- 2021年开放课题申请工作正式开始2020-12-29
- [12-09] A Dynamical Aspect of D-finite Power Series2020-12-07
- [12-09] SKLCS seminar on “单带图灵机的时空转换(Time Versus Space on Single Tape Turing Machines)”2020-12-07
- [12-02] Verified Separate Compilation of C Programs into Binary Object Files2020-11-30
- [11-18] 面向现代FPGA架构的逻辑综合和工艺映射方法2020-11-01
- [11-10] 智能物联网的研究挑战与探索2020-11-01
- 吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”2020-10-28
- [10-14] SKLCS seminar on “地理信息系统”2020-10-12
- [10-21] 新型活体光学分子影像技术研发及临床转化2020-10-11
- 蔡少伟团队获得SAT 2020国际比赛冠军2020-07-14
- 2020年开放课题申请工作正式开始2020-01-02