主要研究方向及简介软件工程和网络分布式计算，重点是面向中间件的分布式软件工程。研究兴趣包括：高可信、可重配和可管理软件中间件技术，面向服务计算，分布式软件开发方法和工具，以及形式化建模与分析技术。