计算机科学与工程学院（网络空间安全学院）
|
|
|
|
| 导师代码： |
20961
|
| 导师姓名： |
TAKISAKA TORU
|
| 性 别： |
男 |
| 特 称： |
|
| 职 称： |
教授
|
| 学 位： |
理学博士学位
|
| 属 性： |
专职 |
| 电子邮件： |
takisaka@uestc.edu.cn
|
|
|
| 学术经历：
|
|
Apr. 2023-Current Research Associate Professor at University of Electronic Science and
Technology of China, China
Apr. 2022-Mar. 2023 Postdoc at University of Electronic Science and Technology of China, China
Apr. 2018-Mar. 2022 Postdoc at National Institute of Informatics (NII), Japan
Apr. 2014-Mar. 2018 Ph.D. student at Research Institute for Mathematical Sciences, Japan
Apr. 2012-Mar. 2014 MSc student at Research Institute for Mathematical Sciences, Japan
|
|
| 个人简介：
|
|
Toru 博士毕业于日本京都大学，之后在日本国家信息学院（NII）从事博士后工作，2022年初受 Bakh 院士的邀请到电子科大从事博士后工作，是我院第一个海外一流高校的外籍博士后。现已在团队担任专职科研人员。主要从事概率系统中的形式化认证等软件与理论方向的基础研究。学术贡献包括：（1)一般不动点上的验证算法研究；(2)验证方法中的元数学抽象方法；(3)形式化验证在其它领域的应用。业绩成果包括：发表高水平论文 11 篇（LICS、CAV、TOPLAS、TCAD 等 CCF-A 类期刊和会议），获得两项国家级项目（自然科学基金海外青年基金、科技部外国专家重点支撑计划项目）。
|
|
| 科研项目：
|
|
|
|
| 研究成果：
|
|
|
|
| 专业研究方向：
|
| 专业名称 |
研究方向 |
招生类别 |
| 081200计算机科学与技术 |
01计算理论，02机器智能与模式识别 |
博士学术学位 |
| 085400电子信息 |
01“计算机科学与技术”研究组，03“计算机科学与技术”研究组（非全） |
博士专业学位 |
| 081200计算机科学与技术 |
01计算理论，02机器智能与模式识别 |
硕士学术学位 |
|
|
|
|
|
|
|
|
