-
张昱
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:中国科学技术大学
- 所在地区:安徽省 合肥市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 陈意云
![](/images/user-pic.gif)
- 作品数:133被引量:648H指数:16
- 供职机构:中国科学技术大学计算机科学与技术学院
- 研究主题:HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
- 吉建民
![](/images/user-pic.gif)
- 作品数:44被引量:47H指数:4
- 供职机构:中国科学技术大学
- 研究主题:自动驾驶 多目标 激光雷达 避障 虚拟现实
- 吴年
![](/images/user-pic.gif)
- 作品数:5被引量:8H指数:2
- 供职机构:中国科学技术大学计算机科学与技术学院
- 研究主题:XML流 索引 查询 XPATH 自动机
- 袁丽娜
![](/images/user-pic.gif)
- 作品数:5被引量:2H指数:1
- 供职机构:中国科学技术大学
- 研究主题:即时编译器 垃圾收集 插桩 内存释放 垃圾收集器
- 郭帆
![](/images/user-pic.gif)
- 作品数:17被引量:15H指数:2
- 供职机构:中国科学技术大学
- 研究主题:移动代码 内存 系统默认 安全检查 类型化