Weikai Miao (Preferred)
Weikai Miao
Full Professor, Software Engineering, East China Normal University
Joined
October 2023
Names
Emails
****@sei.ecnu.edu.cn (Confirmed)
Personal Links
Career & Education History
Full Professor
Software Engineering, East China Normal University (ecnu.edu.cn)
2013 – Present
PhD student
Computer Science, Hosei University (hosei.ac.jp)
2008 – 2013
Advisors, Relations & Conflicts
PhD Advisor
Shaoying Liu
2008 – 2013
Expertise
nature language processing
2018 – Present
formal verification
2008 – Present
formal methods
2008 – Present
Publications
Co-Authors
- Bin Gu
- Chang Cai
- Chengcheng Wan
- Chengyu Zhang
- Danzhu Bao
- Di Yang
- Donghai Zhu
- Felix Juefei-Xu
- Fu Song
- Geguang Pu
- Hang Xu
- Hanru Zhou
- Hanyu Zhao
- Hanyue Zheng
- Honghao Gao
- Huaikou Miao
- Huibiao Zhu
- Jian Guo
- Jiangtao Wang
- Jianwen Li
- Jiawei Shen
- Jiayi Zhu
- Jiazhen Zou
- Jifeng He
- Jilu Zhang