Title：Associate Prof.
Office Phone：+86-21-34204130
Email：bjshen@sjtu.edu.cn
Research Field：Software Engineering, Software Process, Domain Specific Language, Mining Software Repository
Title：associate professor, doctorial supervisor
Office Phone：+86 - 21-34204167
Email：li.g@sjtu.edu.cn
Research Field：formal verification programming language theory knowledge reasoning and verification intelligent system verification and security data analytics and intelligence
Title：Professor
Office Phone：34202949
Email：haibochen@sjtu.edu.c
Research Field：Operating Systems, System Virtualization and Computer Architecture
Office Phone：21-34205153
Email：hmcai@sjtu.edu.cn
Research Field：· Service Oriented Computing and Business Process Modeling · Cooperative Computing · Computer Aided Design and Computer Graphic(CAD/CG)
Title：Associate Professor
Office Phone：+86-021 34204701
Email：li-jian AT sjtu.edu.cn
Research Field：Virtualization, Cloud Computing, Real-time scheduling
