Title:Assistant Professor
Institute:Institute of Software
Research Interests:software engineering, formal methods, artificial intelligence
Phone:17200343089
E-mail:mechtaevpku.edu.cn
Sergey Mechtaev is a Assistant Professor of the Department of Computer Science and Technology, the School of Electronics Engineering and Computer Science, Peking University.
