易秋萍   

Supervisor of Doctorate Candidates
Supervisor of Master's Candidates

MORE>
Language:English

Research Focus

My research is in the broad areas of software engineering and formal methods. The primary focus is to develop techniques for the principled design of systems to improve safety and security, including supporting the debugging, analysis, and verification of complex or concurrent programs.

Copyright Convention Beijing Post and Telecommunications University Address: 1000876 Beijing ICP, 05064445 Beijing Public Website 1104 02430070
Click:    MOBILE Version login BUPT

Opening Time:..

The Last Update Time: ..