基本信息
浏览量:37
职业迁徙
个人简介
主要研究方向为信息物理融合系统设计自动化、计算机体系结构、物联网技术,形式化方法。
目前担任SCI期刊Journal of Circuits, Systems and Computers(2013-至今)与IET Computers & Digital Techniques(2015年至今)副主编,担任过嵌入式领域顶级会议CODES+ISSS 2013 Session主席,可信软件知名会议SERE 2014 Session主席,2012微软亚洲研究院-ECNU“可验证软件国际研讨会”组织主席,中国计算机协会2016嵌入式专委会年会组织主席与出版主席。目前担任上海市计算机协会物联网专委会副主任,IEEE高级会员,中国计算机协会高级会员,中国计算机协会嵌入式专委会常委委员,上海计算机协会YOCSEF学术委员与2017-2018学术秘书,中国计算机系会形式化方法专委会委员。担任包括嵌入式著名会议DATE、MEMOCODE、VLSID、SAC在内的20余个国际会议的技术委员会委员,担任过20余个著名期刊会议的审稿人,以及国家自然科学基金委重点项与面上项目的评阅人。
目前担任SCI期刊Journal of Circuits, Systems and Computers(2013-至今)与IET Computers & Digital Techniques(2015年至今)副主编,担任过嵌入式领域顶级会议CODES+ISSS 2013 Session主席,可信软件知名会议SERE 2014 Session主席,2012微软亚洲研究院-ECNU“可验证软件国际研讨会”组织主席,中国计算机协会2016嵌入式专委会年会组织主席与出版主席。目前担任上海市计算机协会物联网专委会副主任,IEEE高级会员,中国计算机协会高级会员,中国计算机协会嵌入式专委会常委委员,上海计算机协会YOCSEF学术委员与2017-2018学术秘书,中国计算机系会形式化方法专委会委员。担任包括嵌入式著名会议DATE、MEMOCODE、VLSID、SAC在内的20余个国际会议的技术委员会委员,担任过20余个著名期刊会议的审稿人,以及国家自然科学基金委重点项与面上项目的评阅人。
研究兴趣
论文共 74 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2024)
引用0浏览0EI引用
0
0
CoRR (2024)
引用0浏览0EI引用
0
0
Liu Hongwei,Yang Jian,Li Zhengyu,Li Ke, Zheng Jianzhang,Wang Xihao,Tang Xuan,Chen Mingsong,Wei Xian,You Xiong
ICRA 2024 (2024)
引用0浏览0引用
0
0
CoRR (2024)
引用0浏览0EI引用
0
0
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systemsno. 11 (2023): 3559-3570
CoRR (2023): 733-738
2023 IEEE Real-Time Systems Symposium (RTSS)pp.145-157, (2023)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn