Tianhai Liu（刘天海）
更新-260416 | 发布-260416
基本信息
- 高校：卡尔斯鲁厄理工学院（德国）
- 院系：计算机学院
- 职称：博士后
- 性别：男
- 研究领域：软件验证、软件安全
- 博士毕业院校：卡尔斯鲁厄理工学院
- 本科毕业院校：重庆大学
个人研究情况
刘天海 (Tianhai Liu) 现为德国卡尔斯鲁厄理工学院（KIT）信息安全与可靠性研究所（KASTEL）应用导向形式化验证课题组的科研人员，同时任职于 aicas GmbH。他拥有自然科学博士学位（Dr. rer. nat.）。 他的核心研究领域涵盖形式化方法与软件验证、信息物理系统（CPS）、基于 OSGi 的模块化物联网（IoT）架构、FPGA 云平台以及人工智能的安全性。他致力于确保复杂软硬件系统的可靠性与安全性。除了严谨的学术研究，他还热衷于科学普及，曾在《前沿视觉》等出版物上撰写关于超大规模计算和自复制纳米机器人的文章。
学术影响力
- 谷歌学术引用：121
- H指数：4
整体评价
B
备注
无